Accept most UI test changes

camelid · camelid · commit 1607c5ffccbc · 2024-11-12T23:01:54.000-05:00
Some of these are probably bad changes, but just accepting them to make
it easier to see the change for now.

There are also two tests that I didn't accept: one because it ICEs, and
the other because the changes seem definitely wrong (passes on stable -&gt;
error).
diff --git a/tests/ui/const-generics/adt_const_params/non_valtreeable_const_arg-2.rs b/tests/ui/const-generics/adt_const_params/non_valtreeable_const_arg-2.rs
@@ -15,5 +15,4 @@ impl Wrapper<{ bar() }> {
 
 fn main() {
     Wrapper::<function>::call;
-    //~^ ERROR: the function or associated item `call` exists for struct `Wrapper<function>`,
 }
diff --git a/tests/ui/const-generics/bad-generic-in-copy-impl.rs b/tests/ui/const-generics/bad-generic-in-copy-impl.rs
@@ -1,8 +1,9 @@
 #[derive(Copy, Clone)]
+//~^ ERROR the trait `Copy` cannot be implemented for this type
 pub struct Foo {
     x: [u8; SIZE],
-    //~^ ERROR mismatched types
-    //~| ERROR mismatched types
+    //~^ ERROR the constant `1` is not of type `usize`
+    //~| ERROR the constant `1` is not of type `usize`
 }
 
 const SIZE: u32 = 1;
diff --git a/tests/ui/const-generics/bad-generic-in-copy-impl.stderr b/tests/ui/const-generics/bad-generic-in-copy-impl.stderr
@@ -1,5 +1,5 @@
 error: the constant `1` is not of type `usize`
-  --> $DIR/bad-generic-in-copy-impl.rs:3:8
+  --> $DIR/bad-generic-in-copy-impl.rs:4:8
    |
 LL |     x: [u8; SIZE],
    |        ^^^^^^^^^^ expected `usize`, found `u32`
@@ -9,23 +9,23 @@ error[E0204]: the trait `Copy` cannot be implemented for this type
    |
 LL | #[derive(Copy, Clone)]
    |          ^^^^
-LL | pub struct Foo {
+...
 LL |     x: [u8; SIZE],
    |     ------------- this field does not implement `Copy`
    |
 note: the `Copy` impl for `[u8; 1]` requires that `the constant `1` has type `usize``
-  --> $DIR/bad-generic-in-copy-impl.rs:3:8
+  --> $DIR/bad-generic-in-copy-impl.rs:4:8
    |
 LL |     x: [u8; SIZE],
    |        ^^^^^^^^^^
    = note: this error originates in the derive macro `Copy` (in Nightly builds, run with -Z macro-backtrace for more info)
 
 error: the constant `1` is not of type `usize`
-  --> $DIR/bad-generic-in-copy-impl.rs:3:5
+  --> $DIR/bad-generic-in-copy-impl.rs:4:5
    |
 LL | #[derive(Copy, Clone)]
    |                ----- in this derive macro expansion
-LL | pub struct Foo {
+...
 LL |     x: [u8; SIZE],
    |     ^^^^^^^^^^^^^ expected `usize`, found `u32`
    |
diff --git a/tests/ui/const-generics/const-param-type-depends-on-const-param.full.stderr b/tests/ui/const-generics/const-param-type-depends-on-const-param.full.stderr
@@ -7,7 +7,7 @@ LL | pub struct Dependent<const N: usize, const X: [u8; N]>([(); N]);
    = note: const parameters may not be used in the type of const parameters
 
 error[E0770]: the type of const parameters must not depend on other generic parameters
-  --> $DIR/const-param-type-depends-on-const-param.rs:15:40
+  --> $DIR/const-param-type-depends-on-const-param.rs:14:40
    |
 LL | pub struct SelfDependent<const N: [u8; N]>;
    |                                        ^ the type must not depend on the parameter `N`
diff --git a/tests/ui/const-generics/const-param-type-depends-on-const-param.min.stderr b/tests/ui/const-generics/const-param-type-depends-on-const-param.min.stderr
@@ -7,7 +7,7 @@ LL | pub struct Dependent<const N: usize, const X: [u8; N]>([(); N]);
    = note: const parameters may not be used in the type of const parameters
 
 error[E0770]: the type of const parameters must not depend on other generic parameters
-  --> $DIR/const-param-type-depends-on-const-param.rs:15:40
+  --> $DIR/const-param-type-depends-on-const-param.rs:14:40
    |
 LL | pub struct SelfDependent<const N: [u8; N]>;
    |                                        ^ the type must not depend on the parameter `N`
diff --git a/tests/ui/const-generics/const-param-type-depends-on-const-param.rs b/tests/ui/const-generics/const-param-type-depends-on-const-param.rs
@@ -10,10 +10,8 @@
 
 pub struct Dependent<const N: usize, const X: [u8; N]>([(); N]);
 //~^ ERROR: the type of const parameters must not depend on other generic parameters
-//[min]~^^ ERROR `[u8; N]` is forbidden
 
 pub struct SelfDependent<const N: [u8; N]>;
 //~^ ERROR: the type of const parameters must not depend on other generic parameters
-//[min]~^^ ERROR `[u8; N]` is forbidden
 
 fn main() {}
diff --git a/tests/ui/const-generics/fn-const-param-infer.rs b/tests/ui/const-generics/fn-const-param-infer.rs
@@ -32,7 +32,7 @@ fn main() {
     let _ = Checked::<{ generic_arg::<usize> }>;
     let _ = Checked::<{ generic_arg::<u32> }>; //~ ERROR: mismatched types
 
-    let _ = Checked::<generic>; //~ ERROR: type annotations needed
+    let _ = Checked::<generic>;
     let _ = Checked::<{ generic::<u16> }>;
     let _: Checked<{ generic::<u16> }> = Checked::<{ generic::<u16> }>;
     let _: Checked<{ generic::<u32> }> = Checked::<{ generic::<u16> }>;
diff --git a/tests/ui/const-generics/generic_const_exprs/adt_wf_hang.rs b/tests/ui/const-generics/generic_const_exprs/adt_wf_hang.rs
@@ -7,8 +7,8 @@
 struct U;
 
 struct S<const N: U>()
+//~^ ERROR: `U` must implement `ConstParamTy` to be used as the type of a const generic parameter
 where
     S<{ U }>:;
-//~^ ERROR: overflow evaluating the requirement `S<{ U }> well-formed`
 
 fn main() {}
diff --git a/tests/ui/const-generics/generic_const_exprs/error_in_ty.rs b/tests/ui/const-generics/generic_const_exprs/error_in_ty.rs
@@ -5,16 +5,13 @@
 
 pub struct A<const z: [usize; x]> {}
 //~^ ERROR: cannot find value `x` in this scope
-//~| ERROR: `[usize; x]` is forbidden as the type of a const generic parameter
 
 impl A<2> {
-    //~^ ERROR: mismatched types
     pub const fn B() {}
     //~^ ERROR: duplicate definitions
 }
 
 impl A<2> {
-    //~^ ERROR: mismatched types
     pub const fn B() {}
 }
 
diff --git a/tests/ui/const-generics/generic_const_exprs/error_in_ty.stderr b/tests/ui/const-generics/generic_const_exprs/error_in_ty.stderr
@@ -7,7 +7,7 @@ LL | pub struct A<const z: [usize; x]> {}
    |                    similarly named const parameter `z` defined here
 
 error[E0592]: duplicate definitions with name `B`
-  --> $DIR/error_in_ty.rs:12:5
+  --> $DIR/error_in_ty.rs:10:5
    |
 LL |     pub const fn B() {}
    |     ^^^^^^^^^^^^^^^^ duplicate definitions for `B`
diff --git a/tests/ui/const-generics/generic_const_exprs/type-alias-bounds.neg.stderr b/tests/ui/const-generics/generic_const_exprs/type-alias-bounds.neg.stderr
@@ -1,47 +1,47 @@
 error[E0277]: the trait bound `String: Copy` is not satisfied
-  --> $DIR/type-alias-bounds.rs:31:12
+  --> $DIR/type-alias-bounds.rs:30:12
    |
 LL |     let _: AliasConstUnused;
    |            ^^^^^^^^^^^^^^^^ the trait `Copy` is not implemented for `String`
    |
 note: required by a bound in `ct_unused_1::AliasConstUnused`
-  --> $DIR/type-alias-bounds.rs:29:41
+  --> $DIR/type-alias-bounds.rs:28:41
    |
 LL |     type AliasConstUnused where String: Copy = I32<{ 0; 0 }>;
    |                                         ^^^^ required by this bound in `AliasConstUnused`
 
 error[E0277]: the trait bound `String: Copy` is not satisfied
-  --> $DIR/type-alias-bounds.rs:39:12
+  --> $DIR/type-alias-bounds.rs:38:12
    |
 LL |     let _: AliasFnUnused<String>;
    |            ^^^^^^^^^^^^^^^^^^^^^ the trait `Copy` is not implemented for `String`
    |
 note: required by a bound in `AliasFnUnused`
-  --> $DIR/type-alias-bounds.rs:36:27
+  --> $DIR/type-alias-bounds.rs:35:27
    |
 LL |     type AliasFnUnused<T: Copy> = (T, I32<{ code() }>);
    |                           ^^^^ required by this bound in `AliasFnUnused`
 
 error[E0277]: the trait bound `String: Copy` is not satisfied
-  --> $DIR/type-alias-bounds.rs:57:12
+  --> $DIR/type-alias-bounds.rs:56:12
    |
 LL |     let _: AliasAssocConstUsed<String>;
    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Copy` is not implemented for `String`
    |
 note: required by a bound in `AliasAssocConstUsed`
-  --> $DIR/type-alias-bounds.rs:55:41
+  --> $DIR/type-alias-bounds.rs:54:41
    |
 LL |     type AliasAssocConstUsed<T: Trait + Copy> = I32<{ T::DATA }>;
    |                                         ^^^^ required by this bound in `AliasAssocConstUsed`
 
 error[E0277]: the trait bound `String: Copy` is not satisfied
-  --> $DIR/type-alias-bounds.rs:65:12
+  --> $DIR/type-alias-bounds.rs:64:12
    |
 LL |     let _: AliasFnUsed<String>;
    |            ^^^^^^^^^^^^^^^^^^^ the trait `Copy` is not implemented for `String`
    |
 note: required by a bound in `AliasFnUsed`
-  --> $DIR/type-alias-bounds.rs:62:33
+  --> $DIR/type-alias-bounds.rs:61:33
    |
 LL |     type AliasFnUsed<T: Trait + Copy> = I32<{ code::<T>() }>;
    |                                 ^^^^ required by this bound in `AliasFnUsed`
diff --git a/tests/ui/const-generics/generic_const_exprs/type-alias-bounds.rs b/tests/ui/const-generics/generic_const_exprs/type-alias-bounds.rs
@@ -21,7 +21,6 @@ fn ct_unused_0() {
     const DATA: i32 = 0;
     #[cfg(neg)]
     let _: AliasConstUnused<String>;
-    //[neg]~^ ERROR the trait bound `String: Copy` is not satisfied
 }
 
 fn ct_unused_1() {
diff --git a/tests/ui/const-generics/issue-97007.rs b/tests/ui/const-generics/issue-97007.rs
@@ -1,5 +1,3 @@
-//@ check-pass
-
 #![feature(adt_const_params, generic_const_exprs)]
 #![allow(incomplete_features)]
 
@@ -54,6 +52,7 @@ mod lib {
         pub fn proceed_to<const NEXT: usize>(
             self,
         ) -> Walk<NEXT, { walk(REMAINING, CURRENT, NEXT) }> {
+            //~^ ERROR cycle detected when building an abstract representation for
             Walk { _p: () }
         }
     }
diff --git a/tests/ui/const-generics/issue-97007.stderr b/tests/ui/const-generics/issue-97007.stderr
@@ -0,0 +1,29 @@
+error[E0391]: cycle detected when building an abstract representation for `lib::<impl at $DIR/issue-97007.rs:51:5: 51:81>::proceed_to::{constant#0}`
+  --> $DIR/issue-97007.rs:54:25
+   |
+LL |         ) -> Walk<NEXT, { walk(REMAINING, CURRENT, NEXT) }> {
+   |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+   |
+note: ...which requires building THIR for `lib::<impl at $DIR/issue-97007.rs:51:5: 51:81>::proceed_to::{constant#0}`...
+  --> $DIR/issue-97007.rs:54:25
+   |
+LL |         ) -> Walk<NEXT, { walk(REMAINING, CURRENT, NEXT) }> {
+   |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+note: ...which requires type-checking `lib::<impl at $DIR/issue-97007.rs:51:5: 51:81>::proceed_to::{constant#0}`...
+  --> $DIR/issue-97007.rs:54:25
+   |
+LL |         ) -> Walk<NEXT, { walk(REMAINING, CURRENT, NEXT) }> {
+   |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+   = note: ...which again requires building an abstract representation for `lib::<impl at $DIR/issue-97007.rs:51:5: 51:81>::proceed_to::{constant#0}`, completing the cycle
+note: cycle used when checking that `lib::<impl at $DIR/issue-97007.rs:51:5: 51:81>::proceed_to` is well-formed
+  --> $DIR/issue-97007.rs:52:9
+   |
+LL | /         pub fn proceed_to<const NEXT: usize>(
+LL | |             self,
+LL | |         ) -> Walk<NEXT, { walk(REMAINING, CURRENT, NEXT) }> {
+   | |___________________________________________________________^
+   = note: see https://rustc-dev-guide.rust-lang.org/overview.html#queries and https://rustc-dev-guide.rust-lang.org/query.html for more information
+
+error: aborting due to 1 previous error
+
+For more information about this error, try `rustc --explain E0391`.
diff --git a/tests/ui/const-generics/issues/issue-62878.min.stderr b/tests/ui/const-generics/issues/issue-62878.min.stderr
@@ -7,7 +7,7 @@ LL | fn foo<const N: usize, const A: [u8; N]>() {}
    = note: const parameters may not be used in the type of const parameters
 
 error[E0747]: type provided when a constant was expected
-  --> $DIR/issue-62878.rs:10:11
+  --> $DIR/issue-62878.rs:9:11
    |
 LL |     foo::<_, { [1] }>();
    |           ^
diff --git a/tests/ui/const-generics/issues/issue-62878.rs b/tests/ui/const-generics/issues/issue-62878.rs
@@ -4,7 +4,6 @@
 
 fn foo<const N: usize, const A: [u8; N]>() {}
 //~^ ERROR the type of const parameters must not
-//[min]~| ERROR `[u8; N]` is forbidden as the type of a const generic parameter
 
 fn main() {
     foo::<_, { [1] }>();
diff --git a/tests/ui/const-generics/issues/issue-71169.rs b/tests/ui/const-generics/issues/issue-71169.rs
@@ -4,7 +4,6 @@
 
 fn foo<const LEN: usize, const DATA: [u8; LEN]>() {}
 //~^ ERROR the type of const parameters must not
-//[min]~^^ ERROR `[u8; LEN]` is forbidden as the type of a const generic parameter
 fn main() {
     const DATA: [u8; 4] = *b"ABCD";
     foo::<4, DATA>();
diff --git a/tests/ui/const-generics/not_wf_param_in_rpitit.rs b/tests/ui/const-generics/not_wf_param_in_rpitit.rs
@@ -5,7 +5,6 @@ trait Trait<const N: dyn Trait = bar> {
     //~| ERROR: cycle detected when computing type of `Trait::N`
     //~| ERROR: the trait `Trait` cannot be made into an object
     //~| ERROR: the trait `Trait` cannot be made into an object
-    //~| ERROR: the trait `Trait` cannot be made into an object
     async fn a() {}
 }
 
diff --git a/tests/ui/const-generics/not_wf_param_in_rpitit.stderr b/tests/ui/const-generics/not_wf_param_in_rpitit.stderr
@@ -25,7 +25,7 @@ LL | trait Trait<const N: dyn Trait = bar> {
    |             ^^^^^^^^^^^^^^^^^^^^^^^^ `Trait` cannot be made into an object
    |
 note: for a trait to be "dyn-compatible" it needs to allow building a vtable to allow the call to be resolvable dynamically; for more information visit <https://doc.rust-lang.org/reference/items/traits.html#object-safety>
-  --> $DIR/not_wf_param_in_rpitit.rs:9:14
+  --> $DIR/not_wf_param_in_rpitit.rs:8:14
    |
 LL | trait Trait<const N: dyn Trait = bar> {
    |       ----- this trait cannot be made into an object...
@@ -48,7 +48,7 @@ LL | trait Trait<const N: dyn Trait = bar> {
    |             ^^^^^^^^^^^^^^^^^^^^^^^^ `Trait` cannot be made into an object
    |
 note: for a trait to be "dyn-compatible" it needs to allow building a vtable to allow the call to be resolvable dynamically; for more information visit <https://doc.rust-lang.org/reference/items/traits.html#object-safety>
-  --> $DIR/not_wf_param_in_rpitit.rs:9:14
+  --> $DIR/not_wf_param_in_rpitit.rs:8:14
    |
 LL | trait Trait<const N: dyn Trait = bar> {
    |       ----- this trait cannot be made into an object...
diff --git a/tests/ui/consts/const-len-underflow-separate-spans.rs b/tests/ui/consts/const-len-underflow-separate-spans.rs
@@ -12,5 +12,4 @@ const LEN: usize = ONE - TWO;
 
 fn main() {
     let a: [i8; LEN] = unimplemented!();
-//~^ constant
 }
diff --git a/tests/ui/consts/issue-39974.rs b/tests/ui/consts/issue-39974.rs
@@ -3,8 +3,6 @@ const LENGTH: f64 = 2;
 
 struct Thing {
     f: [[f64; 2]; LENGTH],
-    //~^ ERROR mismatched types
-    //~| expected `usize`, found `f64`
 }
 
 fn main() {
diff --git a/tests/ui/issues/issue-27008.rs b/tests/ui/issues/issue-27008.rs
@@ -2,6 +2,6 @@ struct S;
 
 fn main() {
     let b = [0; S];
-    //~^ ERROR mismatched types
+    //~^ ERROR the constant `S` is not of type `usize`
     //~| expected `usize`, found `S`
 }
diff --git a/tests/ui/wf/ice-hir-wf-check-anon-const-issue-122199.rs b/tests/ui/wf/ice-hir-wf-check-anon-const-issue-122199.rs
@@ -3,19 +3,13 @@ trait Trait<const N: Trait = bar> {
     //~| ERROR cycle detected when computing type of `Trait::N`
     //~| ERROR the trait `Trait` cannot be made into an object
     //~| ERROR the trait `Trait` cannot be made into an object
-    //~| ERROR the trait `Trait` cannot be made into an object
-    //~| WARN trait objects without an explicit `dyn` are deprecated [bare_trait_objects]
-    //~| WARN this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
     //~| WARN trait objects without an explicit `dyn` are deprecated [bare_trait_objects]
     //~| WARN this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
     fn fnc<const N: Trait = u32>(&self) -> Trait {
         //~^ ERROR the name `N` is already used for a generic parameter in this item's generic parameters
         //~| ERROR expected value, found builtin type `u32`
         //~| ERROR defaults for const parameters are only allowed in `struct`, `enum`, `type`, or `trait` definitions
         //~| ERROR associated item referring to unboxed trait object for its own trait
-        //~| ERROR the trait `Trait` cannot be made into an object
-        //~| WARN trait objects without an explicit `dyn` are deprecated [bare_trait_objects]
-        //~| WARN this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
         //~| WARN trait objects without an explicit `dyn` are deprecated [bare_trait_objects]
         //~| WARN this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
         //~| WARN trait objects without an explicit `dyn` are deprecated [bare_trait_objects]
diff --git a/tests/ui/wf/ice-hir-wf-check-anon-const-issue-122199.stderr b/tests/ui/wf/ice-hir-wf-check-anon-const-issue-122199.stderr

Original file line number	Diff line number	Diff line change
`@@ -15,5 +15,4 @@ impl Wrapper<{ bar() }> {`
`15`	`15`
`16`	`16`	`fn main() {`
`17`	`17`	`Wrapper::<function>::call;`
`18`		- //~^ ERROR: the function or associated item `call` exists for struct `Wrapper<function>`,
`19`	`18`	`}`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	error: the constant `1` is not of type `usize`
`2`		`- --> $DIR/bad-generic-in-copy-impl.rs:3:8`
	`2`	`+ --> $DIR/bad-generic-in-copy-impl.rs:4:8`
`3`	`3`	`\|`
`4`	`4`	`LL \| x: [u8; SIZE],`
`5`	`5`	\| ^^^^^^^^^^ expected `usize`, found `u32`
@@ -9,23 +9,23 @@ error[E0204]: the trait `Copy` cannot be implemented for this type
`9`	`9`	`\|`
`10`	`10`	`LL \| #[derive(Copy, Clone)]`
`11`	`11`	`\| ^^^^`
`12`		`-LL \| pub struct Foo {`
	`12`	`+...`
`13`	`13`	`LL \| x: [u8; SIZE],`
`14`	`14`	\| ------------- this field does not implement `Copy`
`15`	`15`	`\|`
`16`	`16`	note: the `Copy` impl for `[u8; 1]` requires that `the constant `1` has type `usize``
`17`		`- --> $DIR/bad-generic-in-copy-impl.rs:3:8`
	`17`	`+ --> $DIR/bad-generic-in-copy-impl.rs:4:8`
`18`	`18`	`\|`
`19`	`19`	`LL \| x: [u8; SIZE],`
`20`	`20`	`\| ^^^^^^^^^^`
`21`	`21`	= note: this error originates in the derive macro `Copy` (in Nightly builds, run with -Z macro-backtrace for more info)
`22`	`22`
`23`	`23`	error: the constant `1` is not of type `usize`
`24`		`- --> $DIR/bad-generic-in-copy-impl.rs:3:5`
	`24`	`+ --> $DIR/bad-generic-in-copy-impl.rs:4:5`
`25`	`25`	`\|`
`26`	`26`	`LL \| #[derive(Copy, Clone)]`
`27`	`27`	`\| ----- in this derive macro expansion`
`28`		`-LL \| pub struct Foo {`
	`28`	`+...`
`29`	`29`	`LL \| x: [u8; SIZE],`
`30`	`30`	\| ^^^^^^^^^^^^^ expected `usize`, found `u32`
`31`	`31`	`\|`
Original file line number	Diff line number	Diff line change
`@@ -7,7 +7,7 @@ LL \| pub struct Dependent<const N: usize, const X: [u8; N]>([(); N]);`
`7`	`7`	`= note: const parameters may not be used in the type of const parameters`
`8`	`8`
`9`	`9`	`error[E0770]: the type of const parameters must not depend on other generic parameters`
`10`		`- --> $DIR/const-param-type-depends-on-const-param.rs:15:40`
	`10`	`+ --> $DIR/const-param-type-depends-on-const-param.rs:14:40`
`11`	`11`	`\|`
`12`	`12`	`LL \| pub struct SelfDependent<const N: [u8; N]>;`
`13`	`13`	\| ^ the type must not depend on the parameter `N`
Original file line number	Diff line number	Diff line change
`@@ -5,16 +5,13 @@`
`5`	`5`
`6`	`6`	`pub struct A<const z: [usize; x]> {}`
`7`	`7`	//~^ ERROR: cannot find value `x` in this scope
`8`		-//~\| ERROR: `[usize; x]` is forbidden as the type of a const generic parameter
`9`	`8`
`10`	`9`	`impl A<2> {`
`11`		`- //~^ ERROR: mismatched types`
`12`	`10`	`pub const fn B() {}`
`13`	`11`	`//~^ ERROR: duplicate definitions`
`14`	`12`	`}`
`15`	`13`
`16`	`14`	`impl A<2> {`
`17`		`- //~^ ERROR: mismatched types`
`18`	`15`	`pub const fn B() {}`
`19`	`16`	`}`
`20`	`17`
Original file line number	Diff line number	Diff line change
`@@ -7,7 +7,7 @@ LL \| pub struct A<const z: [usize; x]> {}`
`7`	`7`	\| similarly named const parameter `z` defined here
`8`	`8`
`9`	`9`	error[E0592]: duplicate definitions with name `B`
`10`		`- --> $DIR/error_in_ty.rs:12:5`
	`10`	`+ --> $DIR/error_in_ty.rs:10:5`
`11`	`11`	`\|`
`12`	`12`	`LL \| pub const fn B() {}`
`13`	`13`	\| ^^^^^^^^^^^^^^^^ duplicate definitions for `B`