diff options
Diffstat (limited to 'src/test/ui/associated-types/issue-24204.rs')
-rw-r--r-- | src/test/ui/associated-types/issue-24204.rs | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/src/test/ui/associated-types/issue-24204.rs b/src/test/ui/associated-types/issue-24204.rs deleted file mode 100644 index 5a7b34595..000000000 --- a/src/test/ui/associated-types/issue-24204.rs +++ /dev/null @@ -1,25 +0,0 @@ -// check-pass - -#![allow(dead_code)] - -trait MultiDispatch<T> { - type O; -} - -trait Trait: Sized { - type A: MultiDispatch<Self::B, O = Self>; - type B; - - fn new<U>(u: U) -> <Self::A as MultiDispatch<U>>::O - where - Self::A: MultiDispatch<U>; -} - -fn test<T: Trait<B = i32>>(b: i32) -> T -where - T::A: MultiDispatch<i32>, -{ - T::new(b) -} - -fn main() {} |