src/test/ui/associated-types/issue-91231.rs

   1 // check-pass
   2
   3 #![feature(extern_types)]
   4 #![allow(dead_code)]
   5
   6 extern {
   7     type Extern;
   8 }
   9
  10 trait Trait {
  11     type Type;
  12 }
  13
  14 #[inline]
  15 fn f<'a>(_: <&'a Extern as Trait>::Type) where &'a Extern: Trait {}
  16
  17 fn main() {}