@@ -5,25 +5,25 @@ LL |     fn define() -> Opaque {
55   |                    ^^^^^^ expected `*const (dyn FnOnce(()) + 'static)`, got `*const dyn for<'a> FnOnce(<u8 as Trait>::Gat<'a>)`
66   |
77note: previous use here
8-   --> $DIR/normalize-hidden-types.rs:27 :9
8+   --> $DIR/normalize-hidden-types.rs:26 :9
99   |
1010LL |         dyn_hoops::<_>(0)
1111   |         ^^^^^^^^^^^^^^^^^
1212
1313error: concrete type differs from previous defining opaque type use
14-   --> $DIR/normalize-hidden-types.rs:34 :22
14+   --> $DIR/normalize-hidden-types.rs:33 :22
1515   |
1616LL |     fn define_1() -> Opaque { dyn_hoops::<_>(0) }
1717   |                      ^^^^^^ expected `*const (dyn FnOnce(()) + 'static)`, got `*const dyn for<'a> FnOnce(<u8 as Trait>::Gat<'a>)`
1818   |
1919note: previous use here
20-   --> $DIR/normalize-hidden-types.rs:34 :31
20+   --> $DIR/normalize-hidden-types.rs:33 :31
2121   |
2222LL |     fn define_1() -> Opaque { dyn_hoops::<_>(0) }
2323   |                               ^^^^^^^^^^^^^^^^^
2424
2525error[E0308]: mismatched types
26-   --> $DIR/normalize-hidden-types.rs:44 :25
26+   --> $DIR/normalize-hidden-types.rs:42 :25
2727   |
2828LL |     type Opaque = impl Sized;
2929   |                   ---------- the expected opaque type
@@ -39,13 +39,13 @@ LL |         let _: Opaque = dyn_hoops::<u8>(0);
3939   = note: for more information, visit https://doc.rust-lang.org/book/ch19-03-advanced-traits.html
4040
4141error: concrete type differs from previous defining opaque type use
42-   --> $DIR/normalize-hidden-types.rs:54 :25
42+   --> $DIR/normalize-hidden-types.rs:51 :25
4343   |
4444LL |         let _: Opaque = dyn_hoops::<_>(0);
4545   |                         ^^^^^^^^^^^^^^^^^ expected `*const (dyn FnOnce(()) + 'static)`, got `*const dyn for<'a> FnOnce(<u8 as Trait>::Gat<'a>)`
4646   |
4747note: previous use here
48-   --> $DIR/normalize-hidden-types.rs:56 :9
48+   --> $DIR/normalize-hidden-types.rs:52 :9
4949   |
5050LL |         None
5151   |         ^^^^
0 commit comments