diff options
Diffstat (limited to 'src/test/ui/associated-types/associated-types-normalize-unifield-struct.rs')
-rw-r--r-- | src/test/ui/associated-types/associated-types-normalize-unifield-struct.rs | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/src/test/ui/associated-types/associated-types-normalize-unifield-struct.rs b/src/test/ui/associated-types/associated-types-normalize-unifield-struct.rs deleted file mode 100644 index a04525dcd..000000000 --- a/src/test/ui/associated-types/associated-types-normalize-unifield-struct.rs +++ /dev/null @@ -1,24 +0,0 @@ -// run-pass -// Regression test for issue #21010: Normalize associated types in -// various special paths in the `type_is_immediate` function. - -pub trait OffsetState: Sized {} -pub trait Offset { - type State: OffsetState; - fn dummy(&self) { } -} - -#[derive(Copy, Clone)] pub struct X; -impl Offset for X { type State = Y; } - -#[derive(Copy, Clone)] pub struct Y; -impl OffsetState for Y {} - -pub fn now() -> DateTime<X> { from_utc(Y) } - -pub struct DateTime<Off: Offset> { pub offset: Off::State } -pub fn from_utc<Off: Offset>(offset: Off::State) -> DateTime<Off> { DateTime { offset: offset } } - -pub fn main() { - let _x = now(); -} |