src/test/ui/typeck/issue-104513-ice.stderr

   1 error[E0405]: cannot find trait `Oops` in this scope
   2   --> $DIR/issue-104513-ice.rs:3:19
   3    |
   4 LL | fn f() {
   5    |     - help: you might be missing a type parameter: `<Oops>`
   6 LL |     let _: S<impl Oops> = S;
   7    |                   ^^^^ not found in this scope
   8
   9 error[E0562]: `impl Trait` only allowed in function and inherent method return types, not in variable binding
  10   --> $DIR/issue-104513-ice.rs:3:14
  11    |
  12 LL |     let _: S<impl Oops> = S;
  13    |              ^^^^^^^^^
  14
  15 error: aborting due to 2 previous errors
  16
  17 Some errors have detailed explanations: E0405, E0562.
  18 For more information about an error, try `rustc --explain E0405`.