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

   1 trait Foo {
   2     type A;
   3 }
   4
   5 struct FooStruct;
   6
   7 impl Foo for FooStruct {
   8     type A = <FooStruct as Foo>::A;
   9     //~^ ERROR overflow evaluating the requirement `<FooStruct as Foo>::A == _`
  10 }
  11
  12 fn main() {}