src/test/ui/rfc-2093-infer-outlives/explicit-projection.rs

   1 #![feature(rustc_attrs)]
   2
   3 trait Trait<'x, T> where T: 'x {
   4     type Type;
   5 }
   6
   7 #[rustc_outlives]
   8 struct Foo<'a, A, B> where A: Trait<'a, B> //~ ERROR rustc_outlives
   9 {
  10     foo: <A as Trait<'a, B>>::Type
  11 }
  12
  13 fn main() {}