src/test/ui/type-alias-impl-trait/issue-68368-non-defining-use-2.stderr

   1 error: non-defining opaque type use in defining scope
   2   --> $DIR/issue-68368-non-defining-use-2.rs:9:15
   3    |
   4 LL | fn f<'a>() -> Alias<'a, ()> {}
   5    |               ^^^^^^^^^^^^^
   6    |
   7 note: used non-generic type `()` for generic parameter
   8   --> $DIR/issue-68368-non-defining-use-2.rs:7:16
   9    |
  10 LL | type Alias<'a, U> = impl Trait<U>;
  11    |                ^
  12
  13 error: could not find defining uses
  14   --> $DIR/issue-68368-non-defining-use-2.rs:7:21
  15    |
  16 LL | type Alias<'a, U> = impl Trait<U>;
  17    |                     ^^^^^^^^^^^^^
  18
  19 error: aborting due to 2 previous errors
  20