Fix the span of trait bound modifier [const]

fmease · fmease · commit 7a55709baf9c · 2025-06-29T01:31:53.000+02:00
diff --git a/compiler/rustc_parse/src/parser/ty.rs b/compiler/rustc_parse/src/parser/ty.rs
@@ -1071,7 +1071,7 @@ impl<'a> Parser<'a> {
             && self.look_ahead(1, |t| t.is_keyword(kw::Const))
             && self.look_ahead(2, |t| *t == token::CloseBracket)
         {
-            let start = self.prev_token.span;
+            let start = self.token.span;
             self.bump();
             self.expect_keyword(exp!(Const)).unwrap();
             self.bump();
diff --git a/tests/ui/traits/const-traits/feature-gate.stock.stderr b/tests/ui/traits/const-traits/feature-gate.stock.stderr
@@ -9,10 +9,10 @@ LL | impl const T for S {}
    = note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
 
 error[E0658]: const trait impls are experimental
-  --> $DIR/feature-gate.rs:13:13
+  --> $DIR/feature-gate.rs:13:15
    |
 LL | const fn f<A: [const] T>() {}
-   |             ^^^^^^^^^
+   |               ^^^^^^^
    |
    = note: see issue #67792 <https://github.com/rust-lang/rust/issues/67792> for more information
    = help: add `#![feature(const_trait_impl)]` to the crate attributes to enable
@@ -29,10 +29,10 @@ LL | fn g<A: const T>() {}
    = note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
 
 error[E0658]: const trait impls are experimental
-  --> $DIR/feature-gate.rs:18:12
+  --> $DIR/feature-gate.rs:18:17
    |
 LL | discard! { impl [const] T }
-   |            ^^^^^^^^^^^^
+   |                 ^^^^^^^
    |
    = note: see issue #67792 <https://github.com/rust-lang/rust/issues/67792> for more information
    = help: add `#![feature(const_trait_impl)]` to the crate attributes to enable
diff --git a/tests/ui/traits/const-traits/super-traits-fail-3.nnn.stderr b/tests/ui/traits/const-traits/super-traits-fail-3.nnn.stderr
@@ -1,8 +1,8 @@
 error: `[const]` is not allowed here
-  --> $DIR/super-traits-fail-3.rs:23:10
+  --> $DIR/super-traits-fail-3.rs:23:12
    |
 LL | trait Bar: [const] Foo {}
-   |          ^^^^^^^^^
+   |            ^^^^^^^
    |
 note: this trait is not a `#[const_trait]`, so it cannot have `[const]` trait bounds
   --> $DIR/super-traits-fail-3.rs:23:1
@@ -11,41 +11,41 @@ LL | trait Bar: [const] Foo {}
    | ^^^^^^^^^^^^^^^^^^^^^^^^^
 
 error[E0658]: const trait impls are experimental
-  --> $DIR/super-traits-fail-3.rs:23:10
+  --> $DIR/super-traits-fail-3.rs:23:12
    |
 LL | trait Bar: [const] Foo {}
-   |          ^^^^^^^^^
+   |            ^^^^^^^
    |
    = note: see issue #67792 <https://github.com/rust-lang/rust/issues/67792> for more information
    = help: add `#![feature(const_trait_impl)]` to the crate attributes to enable
    = note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
 
 error[E0658]: const trait impls are experimental
-  --> $DIR/super-traits-fail-3.rs:32:15
+  --> $DIR/super-traits-fail-3.rs:32:17
    |
 LL | const fn foo<T: [const] Bar>(x: &T) {
-   |               ^^^^^^^^^
+   |                 ^^^^^^^
    |
    = note: see issue #67792 <https://github.com/rust-lang/rust/issues/67792> for more information
    = help: add `#![feature(const_trait_impl)]` to the crate attributes to enable
    = note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
 
 error: `[const]` can only be applied to `#[const_trait]` traits
-  --> $DIR/super-traits-fail-3.rs:23:10
+  --> $DIR/super-traits-fail-3.rs:23:12
    |
 LL | trait Bar: [const] Foo {}
-   |          ^^^^^^^^^ can't be applied to `Foo`
+   |            ^^^^^^^ can't be applied to `Foo`
    |
 help: enable `#![feature(const_trait_impl)]` in your crate and mark `Foo` as `#[const_trait]` to allow it to have `const` implementations
    |
 LL | #[const_trait] trait Foo {
    | ++++++++++++++
 
 error: `[const]` can only be applied to `#[const_trait]` traits
-  --> $DIR/super-traits-fail-3.rs:23:10
+  --> $DIR/super-traits-fail-3.rs:23:12
    |
 LL | trait Bar: [const] Foo {}
-   |          ^^^^^^^^^ can't be applied to `Foo`
+   |            ^^^^^^^ can't be applied to `Foo`
    |
    = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
 help: enable `#![feature(const_trait_impl)]` in your crate and mark `Foo` as `#[const_trait]` to allow it to have `const` implementations
@@ -54,10 +54,10 @@ LL | #[const_trait] trait Foo {
    | ++++++++++++++
 
 error: `[const]` can only be applied to `#[const_trait]` traits
-  --> $DIR/super-traits-fail-3.rs:23:10
+  --> $DIR/super-traits-fail-3.rs:23:12
    |
 LL | trait Bar: [const] Foo {}
-   |          ^^^^^^^^^ can't be applied to `Foo`
+   |            ^^^^^^^ can't be applied to `Foo`
    |
    = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
 help: enable `#![feature(const_trait_impl)]` in your crate and mark `Foo` as `#[const_trait]` to allow it to have `const` implementations
@@ -66,21 +66,21 @@ LL | #[const_trait] trait Foo {
    | ++++++++++++++
 
 error: `[const]` can only be applied to `#[const_trait]` traits
-  --> $DIR/super-traits-fail-3.rs:32:15
+  --> $DIR/super-traits-fail-3.rs:32:17
    |
 LL | const fn foo<T: [const] Bar>(x: &T) {
-   |               ^^^^^^^^^ can't be applied to `Bar`
+   |                 ^^^^^^^ can't be applied to `Bar`
    |
 help: enable `#![feature(const_trait_impl)]` in your crate and mark `Bar` as `#[const_trait]` to allow it to have `const` implementations
    |
 LL | #[const_trait] trait Bar: [const] Foo {}
    | ++++++++++++++
 
 error: `[const]` can only be applied to `#[const_trait]` traits
-  --> $DIR/super-traits-fail-3.rs:32:15
+  --> $DIR/super-traits-fail-3.rs:32:17
    |
 LL | const fn foo<T: [const] Bar>(x: &T) {
-   |               ^^^^^^^^^ can't be applied to `Bar`
+   |                 ^^^^^^^ can't be applied to `Bar`
    |
    = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
 help: enable `#![feature(const_trait_impl)]` in your crate and mark `Bar` as `#[const_trait]` to allow it to have `const` implementations
diff --git a/tests/ui/traits/const-traits/super-traits-fail-3.nny.stderr b/tests/ui/traits/const-traits/super-traits-fail-3.nny.stderr
@@ -1,8 +1,8 @@
 error: `[const]` is not allowed here
-  --> $DIR/super-traits-fail-3.rs:23:10
+  --> $DIR/super-traits-fail-3.rs:23:12
    |
 LL | trait Bar: [const] Foo {}
-   |          ^^^^^^^^^
+   |            ^^^^^^^
    |
 note: this trait is not a `#[const_trait]`, so it cannot have `[const]` trait bounds
   --> $DIR/super-traits-fail-3.rs:23:1
@@ -11,41 +11,41 @@ LL | trait Bar: [const] Foo {}
    | ^^^^^^^^^^^^^^^^^^^^^^^^^
 
 error[E0658]: const trait impls are experimental
-  --> $DIR/super-traits-fail-3.rs:23:10
+  --> $DIR/super-traits-fail-3.rs:23:12
    |
 LL | trait Bar: [const] Foo {}
-   |          ^^^^^^^^^
+   |            ^^^^^^^
    |
    = note: see issue #67792 <https://github.com/rust-lang/rust/issues/67792> for more information
    = help: add `#![feature(const_trait_impl)]` to the crate attributes to enable
    = note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
 
 error[E0658]: const trait impls are experimental
-  --> $DIR/super-traits-fail-3.rs:32:15
+  --> $DIR/super-traits-fail-3.rs:32:17
    |
 LL | const fn foo<T: [const] Bar>(x: &T) {
-   |               ^^^^^^^^^
+   |                 ^^^^^^^
    |
    = note: see issue #67792 <https://github.com/rust-lang/rust/issues/67792> for more information
    = help: add `#![feature(const_trait_impl)]` to the crate attributes to enable
    = note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
 
 error: `[const]` can only be applied to `#[const_trait]` traits
-  --> $DIR/super-traits-fail-3.rs:23:10
+  --> $DIR/super-traits-fail-3.rs:23:12
    |
 LL | trait Bar: [const] Foo {}
-   |          ^^^^^^^^^ can't be applied to `Foo`
+   |            ^^^^^^^ can't be applied to `Foo`
    |
 help: enable `#![feature(const_trait_impl)]` in your crate and mark `Foo` as `#[const_trait]` to allow it to have `const` implementations
    |
 LL | #[const_trait] trait Foo {
    | ++++++++++++++
 
 error: `[const]` can only be applied to `#[const_trait]` traits
-  --> $DIR/super-traits-fail-3.rs:23:10
+  --> $DIR/super-traits-fail-3.rs:23:12
    |
 LL | trait Bar: [const] Foo {}
-   |          ^^^^^^^^^ can't be applied to `Foo`
+   |            ^^^^^^^ can't be applied to `Foo`
    |
    = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
 help: enable `#![feature(const_trait_impl)]` in your crate and mark `Foo` as `#[const_trait]` to allow it to have `const` implementations
@@ -54,10 +54,10 @@ LL | #[const_trait] trait Foo {
    | ++++++++++++++
 
 error: `[const]` can only be applied to `#[const_trait]` traits
-  --> $DIR/super-traits-fail-3.rs:23:10
+  --> $DIR/super-traits-fail-3.rs:23:12
    |
 LL | trait Bar: [const] Foo {}
-   |          ^^^^^^^^^ can't be applied to `Foo`
+   |            ^^^^^^^ can't be applied to `Foo`
    |
    = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
 help: enable `#![feature(const_trait_impl)]` in your crate and mark `Foo` as `#[const_trait]` to allow it to have `const` implementations
@@ -66,21 +66,21 @@ LL | #[const_trait] trait Foo {
    | ++++++++++++++
 
 error: `[const]` can only be applied to `#[const_trait]` traits
-  --> $DIR/super-traits-fail-3.rs:32:15
+  --> $DIR/super-traits-fail-3.rs:32:17
    |
 LL | const fn foo<T: [const] Bar>(x: &T) {
-   |               ^^^^^^^^^ can't be applied to `Bar`
+   |                 ^^^^^^^ can't be applied to `Bar`
    |
 help: enable `#![feature(const_trait_impl)]` in your crate and mark `Bar` as `#[const_trait]` to allow it to have `const` implementations
    |
 LL | #[const_trait] trait Bar: [const] Foo {}
    | ++++++++++++++
 
 error: `[const]` can only be applied to `#[const_trait]` traits
-  --> $DIR/super-traits-fail-3.rs:32:15
+  --> $DIR/super-traits-fail-3.rs:32:17
    |
 LL | const fn foo<T: [const] Bar>(x: &T) {
-   |               ^^^^^^^^^ can't be applied to `Bar`
+   |                 ^^^^^^^ can't be applied to `Bar`
    |
    = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
 help: enable `#![feature(const_trait_impl)]` in your crate and mark `Bar` as `#[const_trait]` to allow it to have `const` implementations
diff --git a/tests/ui/traits/const-traits/super-traits-fail-3.nyn.stderr b/tests/ui/traits/const-traits/super-traits-fail-3.nyn.stderr
@@ -1,18 +1,18 @@
 error[E0658]: const trait impls are experimental
-  --> $DIR/super-traits-fail-3.rs:23:10
+  --> $DIR/super-traits-fail-3.rs:23:12
    |
 LL | trait Bar: [const] Foo {}
-   |          ^^^^^^^^^
+   |            ^^^^^^^
    |
    = note: see issue #67792 <https://github.com/rust-lang/rust/issues/67792> for more information
    = help: add `#![feature(const_trait_impl)]` to the crate attributes to enable
    = note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
 
 error[E0658]: const trait impls are experimental
-  --> $DIR/super-traits-fail-3.rs:32:15
+  --> $DIR/super-traits-fail-3.rs:32:17
    |
 LL | const fn foo<T: [const] Bar>(x: &T) {
-   |               ^^^^^^^^^
+   |                 ^^^^^^^
    |
    = note: see issue #67792 <https://github.com/rust-lang/rust/issues/67792> for more information
    = help: add `#![feature(const_trait_impl)]` to the crate attributes to enable
diff --git a/tests/ui/traits/const-traits/super-traits-fail-3.nyy.stderr b/tests/ui/traits/const-traits/super-traits-fail-3.nyy.stderr
@@ -1,18 +1,18 @@
 error[E0658]: const trait impls are experimental
-  --> $DIR/super-traits-fail-3.rs:23:10
+  --> $DIR/super-traits-fail-3.rs:23:12
    |
 LL | trait Bar: [const] Foo {}
-   |          ^^^^^^^^^
+   |            ^^^^^^^
    |
    = note: see issue #67792 <https://github.com/rust-lang/rust/issues/67792> for more information
    = help: add `#![feature(const_trait_impl)]` to the crate attributes to enable
    = note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
 
 error[E0658]: const trait impls are experimental
-  --> $DIR/super-traits-fail-3.rs:32:15
+  --> $DIR/super-traits-fail-3.rs:32:17
    |
 LL | const fn foo<T: [const] Bar>(x: &T) {
-   |               ^^^^^^^^^
+   |                 ^^^^^^^
    |
    = note: see issue #67792 <https://github.com/rust-lang/rust/issues/67792> for more information
    = help: add `#![feature(const_trait_impl)]` to the crate attributes to enable
diff --git a/tests/ui/traits/const-traits/super-traits-fail-3.ynn.stderr b/tests/ui/traits/const-traits/super-traits-fail-3.ynn.stderr
@@ -1,8 +1,8 @@
 error: `[const]` is not allowed here
-  --> $DIR/super-traits-fail-3.rs:23:10
+  --> $DIR/super-traits-fail-3.rs:23:12
    |
 LL | trait Bar: [const] Foo {}
-   |          ^^^^^^^^^
+   |            ^^^^^^^
    |
 note: this trait is not a `#[const_trait]`, so it cannot have `[const]` trait bounds
   --> $DIR/super-traits-fail-3.rs:23:1
@@ -11,21 +11,21 @@ LL | trait Bar: [const] Foo {}
    | ^^^^^^^^^^^^^^^^^^^^^^^^^
 
 error: `[const]` can only be applied to `#[const_trait]` traits
-  --> $DIR/super-traits-fail-3.rs:23:10
+  --> $DIR/super-traits-fail-3.rs:23:12
    |
 LL | trait Bar: [const] Foo {}
-   |          ^^^^^^^^^ can't be applied to `Foo`
+   |            ^^^^^^^ can't be applied to `Foo`
    |
 help: mark `Foo` as `#[const_trait]` to allow it to have `const` implementations
    |
 LL | #[const_trait] trait Foo {
    | ++++++++++++++
 
 error: `[const]` can only be applied to `#[const_trait]` traits
-  --> $DIR/super-traits-fail-3.rs:23:10
+  --> $DIR/super-traits-fail-3.rs:23:12
    |
 LL | trait Bar: [const] Foo {}
-   |          ^^^^^^^^^ can't be applied to `Foo`
+   |            ^^^^^^^ can't be applied to `Foo`
    |
    = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
 help: mark `Foo` as `#[const_trait]` to allow it to have `const` implementations
@@ -34,10 +34,10 @@ LL | #[const_trait] trait Foo {
    | ++++++++++++++
 
 error: `[const]` can only be applied to `#[const_trait]` traits
-  --> $DIR/super-traits-fail-3.rs:23:10
+  --> $DIR/super-traits-fail-3.rs:23:12
    |
 LL | trait Bar: [const] Foo {}
-   |          ^^^^^^^^^ can't be applied to `Foo`
+   |            ^^^^^^^ can't be applied to `Foo`
    |
    = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
 help: mark `Foo` as `#[const_trait]` to allow it to have `const` implementations
@@ -46,21 +46,21 @@ LL | #[const_trait] trait Foo {
    | ++++++++++++++
 
 error: `[const]` can only be applied to `#[const_trait]` traits
-  --> $DIR/super-traits-fail-3.rs:32:15
+  --> $DIR/super-traits-fail-3.rs:32:17
    |
 LL | const fn foo<T: [const] Bar>(x: &T) {
-   |               ^^^^^^^^^ can't be applied to `Bar`
+   |                 ^^^^^^^ can't be applied to `Bar`
    |
 help: mark `Bar` as `#[const_trait]` to allow it to have `const` implementations
    |
 LL | #[const_trait] trait Bar: [const] Foo {}
    | ++++++++++++++
 
 error: `[const]` can only be applied to `#[const_trait]` traits
-  --> $DIR/super-traits-fail-3.rs:32:15
+  --> $DIR/super-traits-fail-3.rs:32:17
    |
 LL | const fn foo<T: [const] Bar>(x: &T) {
-   |               ^^^^^^^^^ can't be applied to `Bar`
+   |                 ^^^^^^^ can't be applied to `Bar`
    |
    = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
 help: mark `Bar` as `#[const_trait]` to allow it to have `const` implementations
diff --git a/tests/ui/traits/const-traits/super-traits-fail-3.yny.stderr b/tests/ui/traits/const-traits/super-traits-fail-3.yny.stderr
diff --git a/tests/ui/traits/const-traits/super-traits-fail-3.yyn.stderr b/tests/ui/traits/const-traits/super-traits-fail-3.yyn.stderr

Original file line number	Diff line number	Diff line change
`@@ -1071,7 +1071,7 @@ impl<'a> Parser<'a> {`
`1071`	`1071`	`&& self.look_ahead(1, \|t\| t.is_keyword(kw::Const))`
`1072`	`1072`	`&& self.look_ahead(2, \|t\| *t == token::CloseBracket)`
`1073`	`1073`	`{`
`1074`		`- let start = self.prev_token.span;`
	`1074`	`+ let start = self.token.span;`
`1075`	`1075`	`self.bump();`
`1076`	`1076`	`self.expect_keyword(exp!(Const)).unwrap();`
`1077`	`1077`	`self.bump();`
Original file line number	Diff line number	Diff line change
`@@ -9,10 +9,10 @@ LL \| impl const T for S {}`
`9`	`9`	`= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date`
`10`	`10`
`11`	`11`	`error[E0658]: const trait impls are experimental`
`12`		`- --> $DIR/feature-gate.rs:13:13`
	`12`	`+ --> $DIR/feature-gate.rs:13:15`
`13`	`13`	`\|`
`14`	`14`	`LL \| const fn f<A: [const] T>() {}`
`15`		`- \| ^^^^^^^^^`
	`15`	`+ \| ^^^^^^^`
`16`	`16`	`\|`
`17`	`17`	`= note: see issue #67792 <https://github.com/rust-lang/rust/issues/67792> for more information`
`18`	`18`	= help: add `#![feature(const_trait_impl)]` to the crate attributes to enable
`@@ -29,10 +29,10 @@ LL \| fn g<A: const T>() {}`
`29`	`29`	`= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date`
`30`	`30`
`31`	`31`	`error[E0658]: const trait impls are experimental`
`32`		`- --> $DIR/feature-gate.rs:18:12`
	`32`	`+ --> $DIR/feature-gate.rs:18:17`
`33`	`33`	`\|`
`34`	`34`	`LL \| discard! { impl [const] T }`
`35`		`- \| ^^^^^^^^^^^^`
	`35`	`+ \| ^^^^^^^`
`36`	`36`	`\|`
`37`	`37`	`= note: see issue #67792 <https://github.com/rust-lang/rust/issues/67792> for more information`
`38`	`38`	= help: add `#![feature(const_trait_impl)]` to the crate attributes to enable
Original file line number	Diff line number	Diff line change
`@@ -1,8 +1,8 @@`
`1`	`1`	error: `[const]` is not allowed here
`2`		`- --> $DIR/super-traits-fail-3.rs:23:10`
	`2`	`+ --> $DIR/super-traits-fail-3.rs:23:12`
`3`	`3`	`\|`
`4`	`4`	`LL \| trait Bar: [const] Foo {}`
`5`		`- \| ^^^^^^^^^`
	`5`	`+ \| ^^^^^^^`
`6`	`6`	`\|`
`7`	`7`	note: this trait is not a `#[const_trait]`, so it cannot have `[const]` trait bounds
`8`	`8`	`--> $DIR/super-traits-fail-3.rs:23:1`
`@@ -11,41 +11,41 @@ LL \| trait Bar: [const] Foo {}`
`11`	`11`	`\| ^^^^^^^^^^^^^^^^^^^^^^^^^`
`12`	`12`
`13`	`13`	`error[E0658]: const trait impls are experimental`
`14`		`- --> $DIR/super-traits-fail-3.rs:23:10`
	`14`	`+ --> $DIR/super-traits-fail-3.rs:23:12`
`15`	`15`	`\|`
`16`	`16`	`LL \| trait Bar: [const] Foo {}`
`17`		`- \| ^^^^^^^^^`
	`17`	`+ \| ^^^^^^^`
`18`	`18`	`\|`
`19`	`19`	`= note: see issue #67792 <https://github.com/rust-lang/rust/issues/67792> for more information`
`20`	`20`	= help: add `#![feature(const_trait_impl)]` to the crate attributes to enable
`21`	`21`	`= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date`
`22`	`22`
`23`	`23`	`error[E0658]: const trait impls are experimental`
`24`		`- --> $DIR/super-traits-fail-3.rs:32:15`
	`24`	`+ --> $DIR/super-traits-fail-3.rs:32:17`
`25`	`25`	`\|`
`26`	`26`	`LL \| const fn foo<T: [const] Bar>(x: &T) {`
`27`		`- \| ^^^^^^^^^`
	`27`	`+ \| ^^^^^^^`
`28`	`28`	`\|`
`29`	`29`	`= note: see issue #67792 <https://github.com/rust-lang/rust/issues/67792> for more information`
`30`	`30`	= help: add `#![feature(const_trait_impl)]` to the crate attributes to enable
`31`	`31`	`= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date`
`32`	`32`
`33`	`33`	error: `[const]` can only be applied to `#[const_trait]` traits
`34`		`- --> $DIR/super-traits-fail-3.rs:23:10`
	`34`	`+ --> $DIR/super-traits-fail-3.rs:23:12`
`35`	`35`	`\|`
`36`	`36`	`LL \| trait Bar: [const] Foo {}`
`37`		- \| ^^^^^^^^^ can't be applied to `Foo`
	`37`	+ \| ^^^^^^^ can't be applied to `Foo`
`38`	`38`	`\|`
`39`	`39`	help: enable `#![feature(const_trait_impl)]` in your crate and mark `Foo` as `#[const_trait]` to allow it to have `const` implementations
`40`	`40`	`\|`
`41`	`41`	`LL \| #[const_trait] trait Foo {`
`42`	`42`	`\| ++++++++++++++`
`43`	`43`
`44`	`44`	error: `[const]` can only be applied to `#[const_trait]` traits
`45`		`- --> $DIR/super-traits-fail-3.rs:23:10`
	`45`	`+ --> $DIR/super-traits-fail-3.rs:23:12`
`46`	`46`	`\|`
`47`	`47`	`LL \| trait Bar: [const] Foo {}`
`48`		- \| ^^^^^^^^^ can't be applied to `Foo`
	`48`	+ \| ^^^^^^^ can't be applied to `Foo`
`49`	`49`	`\|`
`50`	`50`	= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
`51`	`51`	help: enable `#![feature(const_trait_impl)]` in your crate and mark `Foo` as `#[const_trait]` to allow it to have `const` implementations
`@@ -54,10 +54,10 @@ LL \| #[const_trait] trait Foo {`
`54`	`54`	`\| ++++++++++++++`
`55`	`55`
`56`	`56`	error: `[const]` can only be applied to `#[const_trait]` traits
`57`		`- --> $DIR/super-traits-fail-3.rs:23:10`
	`57`	`+ --> $DIR/super-traits-fail-3.rs:23:12`
`58`	`58`	`\|`
`59`	`59`	`LL \| trait Bar: [const] Foo {}`
`60`		- \| ^^^^^^^^^ can't be applied to `Foo`
	`60`	+ \| ^^^^^^^ can't be applied to `Foo`
`61`	`61`	`\|`
`62`	`62`	= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
`63`	`63`	help: enable `#![feature(const_trait_impl)]` in your crate and mark `Foo` as `#[const_trait]` to allow it to have `const` implementations
`@@ -66,21 +66,21 @@ LL \| #[const_trait] trait Foo {`
`66`	`66`	`\| ++++++++++++++`
`67`	`67`
`68`	`68`	error: `[const]` can only be applied to `#[const_trait]` traits
`69`		`- --> $DIR/super-traits-fail-3.rs:32:15`
	`69`	`+ --> $DIR/super-traits-fail-3.rs:32:17`
`70`	`70`	`\|`
`71`	`71`	`LL \| const fn foo<T: [const] Bar>(x: &T) {`
`72`		- \| ^^^^^^^^^ can't be applied to `Bar`
	`72`	+ \| ^^^^^^^ can't be applied to `Bar`
`73`	`73`	`\|`
`74`	`74`	help: enable `#![feature(const_trait_impl)]` in your crate and mark `Bar` as `#[const_trait]` to allow it to have `const` implementations
`75`	`75`	`\|`
`76`	`76`	`LL \| #[const_trait] trait Bar: [const] Foo {}`
`77`	`77`	`\| ++++++++++++++`
`78`	`78`
`79`	`79`	error: `[const]` can only be applied to `#[const_trait]` traits
`80`		`- --> $DIR/super-traits-fail-3.rs:32:15`
	`80`	`+ --> $DIR/super-traits-fail-3.rs:32:17`
`81`	`81`	`\|`
`82`	`82`	`LL \| const fn foo<T: [const] Bar>(x: &T) {`
`83`		- \| ^^^^^^^^^ can't be applied to `Bar`
	`83`	+ \| ^^^^^^^ can't be applied to `Bar`
`84`	`84`	`\|`
`85`	`85`	= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
`86`	`86`	help: enable `#![feature(const_trait_impl)]` in your crate and mark `Bar` as `#[const_trait]` to allow it to have `const` implementations
Original file line number	Diff line number	Diff line change
`@@ -1,18 +1,18 @@`
`1`	`1`	`error[E0658]: const trait impls are experimental`
`2`		`- --> $DIR/super-traits-fail-3.rs:23:10`
	`2`	`+ --> $DIR/super-traits-fail-3.rs:23:12`
`3`	`3`	`\|`
`4`	`4`	`LL \| trait Bar: [const] Foo {}`
`5`		`- \| ^^^^^^^^^`
	`5`	`+ \| ^^^^^^^`
`6`	`6`	`\|`
`7`	`7`	`= note: see issue #67792 <https://github.com/rust-lang/rust/issues/67792> for more information`
`8`	`8`	= help: add `#![feature(const_trait_impl)]` to the crate attributes to enable
`9`	`9`	`= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date`
`10`	`10`
`11`	`11`	`error[E0658]: const trait impls are experimental`
`12`		`- --> $DIR/super-traits-fail-3.rs:32:15`
	`12`	`+ --> $DIR/super-traits-fail-3.rs:32:17`
`13`	`13`	`\|`
`14`	`14`	`LL \| const fn foo<T: [const] Bar>(x: &T) {`
`15`		`- \| ^^^^^^^^^`
	`15`	`+ \| ^^^^^^^`
`16`	`16`	`\|`
`17`	`17`	`= note: see issue #67792 <https://github.com/rust-lang/rust/issues/67792> for more information`
`18`	`18`	= help: add `#![feature(const_trait_impl)]` to the crate attributes to enable