src/test/ui/type-alias-impl-trait/issue-52843-closure-constrain.stderr

   1 error: concrete type differs from previous defining opaque type use
   2   --> $DIR/issue-52843-closure-constrain.rs:10:16
   3    |
   4 LL |     let null = || -> Opaque { 0 };
   5    |                ^^^^^^^^^^^^^^^^^^ expected `String`, got `i32`
   6    |
   7 note: previous use here
   8   --> $DIR/issue-52843-closure-constrain.rs:9:5
   9    |
  10 LL |     fn _unused() -> Opaque { String::new() }
  11    |     ^^^^^^^^^^^^^^^^^^^^^^
  12
  13 error: aborting due to previous error
  14