diff options
Diffstat (limited to 'src/test/ui/associated-types/associated-types-in-impl-generics.rs')
-rw-r--r-- | src/test/ui/associated-types/associated-types-in-impl-generics.rs | 36 |
1 files changed, 0 insertions, 36 deletions
diff --git a/src/test/ui/associated-types/associated-types-in-impl-generics.rs b/src/test/ui/associated-types/associated-types-in-impl-generics.rs deleted file mode 100644 index 0ddd99cbf..000000000 --- a/src/test/ui/associated-types/associated-types-in-impl-generics.rs +++ /dev/null @@ -1,36 +0,0 @@ -// run-pass - -trait Get { - type Value; - fn get(&self) -> &<Self as Get>::Value; -} - -struct Struct { - x: isize, -} - -impl Get for Struct { - type Value = isize; - fn get(&self) -> &isize { - &self.x - } -} - -trait Grab { - type U; - fn grab(&self) -> &<Self as Grab>::U; -} - -impl<T:Get> Grab for T { - type U = <T as Get>::Value; - fn grab(&self) -> &<T as Get>::Value { - self.get() - } -} - -fn main() { - let s = Struct { - x: 100, - }; - assert_eq!(*s.grab(), 100); -} |