update crashes

Author: lcnr

tests/crashes/120016.rs …den-ty-mismatch-tainting-issue-120016.rstests/crashes/120016.rs renamed to tests/ui/type-alias-impl-trait/hidden-ty-mismatch-tainting-issue-120016.rs tests/crashes/120016.rs renamed to tests/ui/type-alias-impl-trait/hidden-ty-mismatch-tainting-issue-120016.rs

@@ -1,17 +1,16 @@
-//@ known-bug: #120016
-//@ compile-flags: -Zcrate-attr=feature(const_async_blocks) --edition=2021
+//@ compile-flags: --edition=2021
 
 #![feature(type_alias_impl_trait, const_async_blocks)]
 
 struct Bug {
     V1: [(); {
         type F = impl std::future::Future<Output = impl Sized>;
         fn concrete_use() -> F {
-            //~^ ERROR to be a future that resolves to `u8`, but it resolves to `()`
             async {}
         }
         let f: F = async { 1 };
-        //~^ ERROR `async` blocks are not allowed in constants
+        //~^ ERROR concrete type differs from previous defining opaque type use
+        //~| ERROR concrete type differs from previous defining opaque type use
         1
     }],
 }

tests/ui/type-alias-impl-trait/hidden-ty-mismatch-tainting-issue-120016.stderr

@@ -0,0 +1,26 @@
+error: concrete type differs from previous defining opaque type use
+  --> $DIR/hidden-ty-mismatch-tainting-issue-120016.rs:11:20
+   |
+LL |         let f: F = async { 1 };
+   |                    ^^^^^^^^^^^ expected `{async block@$DIR/hidden-ty-mismatch-tainting-issue-120016.rs:9:13: 9:18}`, got `{async block@$DIR/hidden-ty-mismatch-tainting-issue-120016.rs:11:20: 11:25}`
+   |
+note: previous use here
+  --> $DIR/hidden-ty-mismatch-tainting-issue-120016.rs:9:13
+   |
+LL |             async {}
+   |             ^^^^^^^^
+
+error: concrete type differs from previous defining opaque type use
+  --> $DIR/hidden-ty-mismatch-tainting-issue-120016.rs:11:20
+   |
+LL |         let f: F = async { 1 };
+   |                    ^^^^^^^^^^^ expected `()`, got `i32`
+   |
+note: previous use here
+  --> $DIR/hidden-ty-mismatch-tainting-issue-120016.rs:9:13
+   |
+LL |             async {}
+   |             ^^^^^^^^
+
+error: aborting due to 2 previous errors
+