-
Notifications
You must be signed in to change notification settings - Fork 12.8k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Rollup merge of #119752 - estebank:ice-ice, r=fmease
Avoid ICEs in trait names without `dyn` Check diagnostic is error before downgrading. Fix #119633. Account for traits using self-trait by name without `dyn`. Fix #119652.
- Loading branch information
Showing
11 changed files
with
553 additions
and
11 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,9 @@ | ||
fn id<F>(f: Copy) -> usize { | ||
//~^ WARN trait objects without an explicit `dyn` are deprecated | ||
//~| 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 | ||
//~| WARN this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! | ||
//~| ERROR the trait `Copy` cannot be made into an object | ||
f() | ||
} | ||
fn main() {} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,50 @@ | ||
warning: trait objects without an explicit `dyn` are deprecated | ||
--> $DIR/avoid-ice-on-warning-2.rs:1:13 | ||
| | ||
LL | fn id<F>(f: Copy) -> usize { | ||
| ^^^^ | ||
| | ||
= warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! | ||
= note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html> | ||
= note: `Copy` it is not object safe, so it can't be `dyn` | ||
= note: `#[warn(bare_trait_objects)]` on by default | ||
help: use a new generic type parameter, constrained by `Copy` | ||
| | ||
LL | fn id<F, T: Copy>(f: T) -> usize { | ||
| +++++++++ ~ | ||
help: you can also use an opaque type, but users won't be able to specify the type parameter when calling the `fn`, having to rely exclusively on type inference | ||
| | ||
LL | fn id<F>(f: impl Copy) -> usize { | ||
| ++++ | ||
|
||
warning: trait objects without an explicit `dyn` are deprecated | ||
--> $DIR/avoid-ice-on-warning-2.rs:1:13 | ||
| | ||
LL | fn id<F>(f: Copy) -> usize { | ||
| ^^^^ | ||
| | ||
= warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! | ||
= note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html> | ||
= note: `Copy` it is not object safe, so it can't be `dyn` | ||
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` | ||
help: use a new generic type parameter, constrained by `Copy` | ||
| | ||
LL | fn id<F, T: Copy>(f: T) -> usize { | ||
| +++++++++ ~ | ||
help: you can also use an opaque type, but users won't be able to specify the type parameter when calling the `fn`, having to rely exclusively on type inference | ||
| | ||
LL | fn id<F>(f: impl Copy) -> usize { | ||
| ++++ | ||
|
||
error[E0038]: the trait `Copy` cannot be made into an object | ||
--> $DIR/avoid-ice-on-warning-2.rs:1:13 | ||
| | ||
LL | fn id<F>(f: Copy) -> usize { | ||
| ^^^^ `Copy` cannot be made into an object | ||
| | ||
= note: the trait cannot be made into an object because it requires `Self: Sized` | ||
= note: for a trait to be "object safe" 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> | ||
|
||
error: aborting due to 1 previous error; 2 warnings emitted | ||
|
||
For more information about this error, try `rustc --explain E0038`. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,17 @@ | ||
trait B { fn f(a: A) -> A; } | ||
//~^ WARN trait objects without an explicit `dyn` are deprecated | ||
//~| WARN trait objects without an explicit `dyn` are deprecated | ||
//~| WARN trait objects without an explicit `dyn` are deprecated | ||
//~| WARN this is accepted in the current edition | ||
//~| WARN this is accepted in the current edition | ||
//~| WARN this is accepted in the current edition | ||
//~| ERROR the trait `A` cannot be made into an object | ||
trait A { fn g(b: B) -> B; } | ||
//~^ WARN trait objects without an explicit `dyn` are deprecated | ||
//~| WARN trait objects without an explicit `dyn` are deprecated | ||
//~| WARN trait objects without an explicit `dyn` are deprecated | ||
//~| WARN this is accepted in the current edition | ||
//~| WARN this is accepted in the current edition | ||
//~| WARN this is accepted in the current edition | ||
//~| ERROR the trait `B` cannot be made into an object | ||
fn main() {} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,148 @@ | ||
warning: trait objects without an explicit `dyn` are deprecated | ||
--> $DIR/avoid-ice-on-warning-3.rs:9:19 | ||
| | ||
LL | trait A { fn g(b: B) -> B; } | ||
| ^ | ||
| | ||
= warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! | ||
= note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html> | ||
= note: `B` it is not object safe, so it can't be `dyn` | ||
= note: `#[warn(bare_trait_objects)]` on by default | ||
help: use a new generic type parameter, constrained by `B` | ||
| | ||
LL | trait A { fn g<T: B>(b: T) -> B; } | ||
| ++++++ ~ | ||
help: you can also use an opaque type, but users won't be able to specify the type parameter when calling the `fn`, having to rely exclusively on type inference | ||
| | ||
LL | trait A { fn g(b: impl B) -> B; } | ||
| ++++ | ||
|
||
warning: trait objects without an explicit `dyn` are deprecated | ||
--> $DIR/avoid-ice-on-warning-3.rs:9:25 | ||
| | ||
LL | trait A { fn g(b: B) -> B; } | ||
| ^ | ||
| | ||
= warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! | ||
= note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html> | ||
help: `B` is not object safe, use `impl B` to return an opaque type, as long as you return a single underlying type | ||
| | ||
LL | trait A { fn g(b: B) -> impl B; } | ||
| ++++ | ||
|
||
warning: trait objects without an explicit `dyn` are deprecated | ||
--> $DIR/avoid-ice-on-warning-3.rs:1:19 | ||
| | ||
LL | trait B { fn f(a: A) -> A; } | ||
| ^ | ||
| | ||
= warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! | ||
= note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html> | ||
= note: `A` it is not object safe, so it can't be `dyn` | ||
help: use a new generic type parameter, constrained by `A` | ||
| | ||
LL | trait B { fn f<T: A>(a: T) -> A; } | ||
| ++++++ ~ | ||
help: you can also use an opaque type, but users won't be able to specify the type parameter when calling the `fn`, having to rely exclusively on type inference | ||
| | ||
LL | trait B { fn f(a: impl A) -> A; } | ||
| ++++ | ||
|
||
warning: trait objects without an explicit `dyn` are deprecated | ||
--> $DIR/avoid-ice-on-warning-3.rs:1:25 | ||
| | ||
LL | trait B { fn f(a: A) -> A; } | ||
| ^ | ||
| | ||
= warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! | ||
= note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html> | ||
help: `A` is not object safe, use `impl A` to return an opaque type, as long as you return a single underlying type | ||
| | ||
LL | trait B { fn f(a: A) -> impl A; } | ||
| ++++ | ||
|
||
warning: trait objects without an explicit `dyn` are deprecated | ||
--> $DIR/avoid-ice-on-warning-3.rs:1:19 | ||
| | ||
LL | trait B { fn f(a: A) -> A; } | ||
| ^ | ||
| | ||
= warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! | ||
= note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html> | ||
= note: `A` it is not object safe, so it can't be `dyn` | ||
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` | ||
help: use a new generic type parameter, constrained by `A` | ||
| | ||
LL | trait B { fn f<T: A>(a: T) -> A; } | ||
| ++++++ ~ | ||
help: you can also use an opaque type, but users won't be able to specify the type parameter when calling the `fn`, having to rely exclusively on type inference | ||
| | ||
LL | trait B { fn f(a: impl A) -> A; } | ||
| ++++ | ||
|
||
error[E0038]: the trait `A` cannot be made into an object | ||
--> $DIR/avoid-ice-on-warning-3.rs:1:19 | ||
| | ||
LL | trait B { fn f(a: A) -> A; } | ||
| ^ `A` cannot be made into an object | ||
| | ||
note: for a trait to be "object safe" 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/avoid-ice-on-warning-3.rs:9:14 | ||
| | ||
LL | trait A { fn g(b: B) -> B; } | ||
| - ^ ...because associated function `g` has no `self` parameter | ||
| | | ||
| this trait cannot be made into an object... | ||
help: consider turning `g` into a method by giving it a `&self` argument | ||
| | ||
LL | trait A { fn g(&self, b: B) -> B; } | ||
| ++++++ | ||
help: alternatively, consider constraining `g` so it does not apply to trait objects | ||
| | ||
LL | trait A { fn g(b: B) -> B where Self: Sized; } | ||
| +++++++++++++++++ | ||
|
||
warning: trait objects without an explicit `dyn` are deprecated | ||
--> $DIR/avoid-ice-on-warning-3.rs:9:19 | ||
| | ||
LL | trait A { fn g(b: B) -> B; } | ||
| ^ | ||
| | ||
= warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! | ||
= note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html> | ||
= note: `B` it is not object safe, so it can't be `dyn` | ||
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` | ||
help: use a new generic type parameter, constrained by `B` | ||
| | ||
LL | trait A { fn g<T: B>(b: T) -> B; } | ||
| ++++++ ~ | ||
help: you can also use an opaque type, but users won't be able to specify the type parameter when calling the `fn`, having to rely exclusively on type inference | ||
| | ||
LL | trait A { fn g(b: impl B) -> B; } | ||
| ++++ | ||
|
||
error[E0038]: the trait `B` cannot be made into an object | ||
--> $DIR/avoid-ice-on-warning-3.rs:9:19 | ||
| | ||
LL | trait A { fn g(b: B) -> B; } | ||
| ^ `B` cannot be made into an object | ||
| | ||
note: for a trait to be "object safe" 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/avoid-ice-on-warning-3.rs:1:14 | ||
| | ||
LL | trait B { fn f(a: A) -> A; } | ||
| - ^ ...because associated function `f` has no `self` parameter | ||
| | | ||
| this trait cannot be made into an object... | ||
help: consider turning `f` into a method by giving it a `&self` argument | ||
| | ||
LL | trait B { fn f(&self, a: A) -> A; } | ||
| ++++++ | ||
help: alternatively, consider constraining `f` so it does not apply to trait objects | ||
| | ||
LL | trait B { fn f(a: A) -> A where Self: Sized; } | ||
| +++++++++++++++++ | ||
|
||
error: aborting due to 2 previous errors; 6 warnings emitted | ||
|
||
For more information about this error, try `rustc --explain E0038`. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,6 @@ | ||
fn call_this<F>(f: F) : Fn(&str) + call_that {} | ||
//~^ ERROR return types are denoted using `->` | ||
//~| ERROR cannot find trait `call_that` in this scope | ||
//~| WARN trait objects without an explicit `dyn` are deprecated | ||
//~| WARN this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! | ||
fn main() {} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,29 @@ | ||
error: return types are denoted using `->` | ||
--> $DIR/avoid-ice-on-warning.rs:1:23 | ||
| | ||
LL | fn call_this<F>(f: F) : Fn(&str) + call_that {} | ||
| ^ help: use `->` instead | ||
|
||
error[E0405]: cannot find trait `call_that` in this scope | ||
--> $DIR/avoid-ice-on-warning.rs:1:36 | ||
| | ||
LL | fn call_this<F>(f: F) : Fn(&str) + call_that {} | ||
| ^^^^^^^^^ not found in this scope | ||
|
||
warning: trait objects without an explicit `dyn` are deprecated | ||
--> $DIR/avoid-ice-on-warning.rs:1:25 | ||
| | ||
LL | fn call_this<F>(f: F) : Fn(&str) + call_that {} | ||
| ^^^^^^^^^^^^^^^^^^^^ | ||
| | ||
= warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! | ||
= note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html> | ||
= note: `#[warn(bare_trait_objects)]` on by default | ||
help: `Fn(&str) + call_that` is not object safe, use `impl Fn(&str) + call_that` to return an opaque type, as long as you return a single underlying type | ||
| | ||
LL | fn call_this<F>(f: F) : impl Fn(&str) + call_that {} | ||
| ++++ | ||
|
||
error: aborting due to 2 previous errors; 1 warning emitted | ||
|
||
For more information about this error, try `rustc --explain E0405`. |
23 changes: 23 additions & 0 deletions
23
tests/ui/suggestions/object-unsafe-trait-should-use-self-2021-without-dyn.rs
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,23 @@ | ||
// edition:2021 | ||
#![allow(bare_trait_objects)] | ||
trait A: Sized { | ||
fn f(a: A) -> A; | ||
//~^ ERROR trait objects must include the `dyn` keyword | ||
//~| ERROR trait objects must include the `dyn` keyword | ||
//~| ERROR associated item referring to unboxed trait object for its own trait | ||
//~| ERROR the trait `A` cannot be made into an object | ||
} | ||
trait B { | ||
fn f(a: B) -> B; | ||
//~^ ERROR trait objects must include the `dyn` keyword | ||
//~| ERROR trait objects must include the `dyn` keyword | ||
//~| ERROR associated item referring to unboxed trait object for its own trait | ||
//~| ERROR the trait `B` cannot be made into an object | ||
} | ||
trait C { | ||
fn f(&self, a: C) -> C; | ||
//~^ ERROR trait objects must include the `dyn` keyword | ||
//~| ERROR trait objects must include the `dyn` keyword | ||
} | ||
|
||
fn main() {} |
Oops, something went wrong.