src/test/ui/issues/issue-26127.rs

   1 // run-pass
   2 trait Tr { type T; }
   3 impl Tr for u8 { type T=(); }
   4 struct S<I: Tr>(I::T);
   5
   6 fn foo<I: Tr>(i: I::T) {
   7     S::<I>(i);
   8 }
   9
  10 fn main() {
  11     foo::<u8>(());
  12 }