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

   1 // run-pass
   2 pub trait Data { fn doit(&self) {} }
   3 impl<T> Data for T {}
   4 pub trait UnaryLogic { type D: Data; }
   5 impl UnaryLogic for () { type D = i32; }
   6
   7 pub fn crashes<T: UnaryLogic>(t: T::D) {
   8     t.doit();
   9 }
  10
  11 fn main() { crashes::<()>(0); }