forked from rust-lang/rust
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Account for traits using self-trait by name without
dyn
Fix rust-lang#119652.
- Loading branch information
Showing
5 changed files
with
222 additions
and
9 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
19 changes: 19 additions & 0 deletions
19
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,19 @@ | ||
// 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 | ||
} | ||
trait B { | ||
fn f(a: B) -> B; | ||
//~^ ERROR trait objects must include the `dyn` keyword | ||
//~| ERROR trait objects must include the `dyn` keyword | ||
} | ||
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() {} |
105 changes: 105 additions & 0 deletions
105
tests/ui/suggestions/object-unsafe-trait-should-use-self-2021-without-dyn.stderr
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,105 @@ | ||
error[E0782]: trait objects must include the `dyn` keyword | ||
--> $DIR/object-unsafe-trait-should-use-self-2021-without-dyn.rs:4:13 | ||
| | ||
LL | fn f(a: A) -> A; | ||
| ^ | ||
| | ||
help: use a new generic type parameter, constrained by `A` | ||
| | ||
LL | 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 | fn f(a: impl A) -> A; | ||
| ++++ | ||
help: alternatively, use a trait object to accept any type that implements `A`, accessing its methods at runtime using dynamic dispatch | ||
| | ||
LL | fn f(a: &dyn A) -> A; | ||
| ++++ | ||
|
||
error[E0782]: trait objects must include the `dyn` keyword | ||
--> $DIR/object-unsafe-trait-should-use-self-2021-without-dyn.rs:4:19 | ||
| | ||
LL | fn f(a: A) -> A; | ||
| ^ | ||
| | ||
help: use `impl A` to return an opaque type, as long as you return a single underlying type | ||
| | ||
LL | fn f(a: A) -> impl A; | ||
| ++++ | ||
help: alternatively, you can return an owned trait object | ||
| | ||
LL | fn f(a: A) -> Box<dyn A>; | ||
| +++++++ + | ||
|
||
error[E0782]: trait objects must include the `dyn` keyword | ||
--> $DIR/object-unsafe-trait-should-use-self-2021-without-dyn.rs:9:13 | ||
| | ||
LL | fn f(a: B) -> B; | ||
| ^ | ||
| | ||
help: use a new generic type parameter, constrained by `B` | ||
| | ||
LL | fn f<T: B>(a: 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 | fn f(a: impl B) -> B; | ||
| ++++ | ||
help: alternatively, use a trait object to accept any type that implements `B`, accessing its methods at runtime using dynamic dispatch | ||
| | ||
LL | fn f(a: &dyn B) -> B; | ||
| ++++ | ||
|
||
error[E0782]: trait objects must include the `dyn` keyword | ||
--> $DIR/object-unsafe-trait-should-use-self-2021-without-dyn.rs:9:19 | ||
| | ||
LL | fn f(a: B) -> B; | ||
| ^ | ||
| | ||
help: use `impl B` to return an opaque type, as long as you return a single underlying type | ||
| | ||
LL | fn f(a: B) -> impl B; | ||
| ++++ | ||
help: alternatively, you can return an owned trait object | ||
| | ||
LL | fn f(a: B) -> Box<dyn B>; | ||
| +++++++ + | ||
|
||
error[E0782]: trait objects must include the `dyn` keyword | ||
--> $DIR/object-unsafe-trait-should-use-self-2021-without-dyn.rs:14:20 | ||
| | ||
LL | fn f(&self, a: C) -> C; | ||
| ^ | ||
| | ||
help: use a new generic type parameter, constrained by `C` | ||
| | ||
LL | fn f<T: C>(&self, a: T) -> C; | ||
| ++++++ ~ | ||
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 f(&self, a: impl C) -> C; | ||
| ++++ | ||
help: alternatively, use a trait object to accept any type that implements `C`, accessing its methods at runtime using dynamic dispatch | ||
| | ||
LL | fn f(&self, a: &dyn C) -> C; | ||
| ++++ | ||
|
||
error[E0782]: trait objects must include the `dyn` keyword | ||
--> $DIR/object-unsafe-trait-should-use-self-2021-without-dyn.rs:14:26 | ||
| | ||
LL | fn f(&self, a: C) -> C; | ||
| ^ | ||
| | ||
help: use `impl C` to return an opaque type, as long as you return a single underlying type | ||
| | ||
LL | fn f(&self, a: C) -> impl C; | ||
| ++++ | ||
help: alternatively, you can return an owned trait object | ||
| | ||
LL | fn f(&self, a: C) -> Box<dyn C>; | ||
| +++++++ + | ||
|
||
error: aborting due to 6 previous errors | ||
|
||
For more information about this error, try `rustc --explain E0782`. |
17 changes: 17 additions & 0 deletions
17
tests/ui/suggestions/object-unsafe-trait-should-use-self-2021.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,17 @@ | ||
// edition:2021 | ||
#![allow(bare_trait_objects)] | ||
trait A: Sized { | ||
fn f(a: dyn A) -> dyn A; | ||
//~^ 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: dyn B) -> dyn B; | ||
//~^ 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: dyn C) -> dyn C; | ||
} | ||
|
||
fn main() {} |
65 changes: 65 additions & 0 deletions
65
tests/ui/suggestions/object-unsafe-trait-should-use-self-2021.stderr
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,65 @@ | ||
error: associated item referring to unboxed trait object for its own trait | ||
--> $DIR/object-unsafe-trait-should-use-self-2021.rs:4:13 | ||
| | ||
LL | trait A: Sized { | ||
| - in this trait | ||
LL | fn f(a: dyn A) -> dyn A; | ||
| ^^^^^ ^^^^^ | ||
| | ||
help: you might have meant to use `Self` to refer to the implementing type | ||
| | ||
LL | fn f(a: Self) -> Self; | ||
| ~~~~ ~~~~ | ||
|
||
error[E0038]: the trait `A` cannot be made into an object | ||
--> $DIR/object-unsafe-trait-should-use-self-2021.rs:4:13 | ||
| | ||
LL | fn f(a: dyn A) -> dyn 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/object-unsafe-trait-should-use-self-2021.rs:3:10 | ||
| | ||
LL | trait A: Sized { | ||
| - ^^^^^ ...because it requires `Self: Sized` | ||
| | | ||
| this trait cannot be made into an object... | ||
|
||
error: associated item referring to unboxed trait object for its own trait | ||
--> $DIR/object-unsafe-trait-should-use-self-2021.rs:9:13 | ||
| | ||
LL | trait B { | ||
| - in this trait | ||
LL | fn f(a: dyn B) -> dyn B; | ||
| ^^^^^ ^^^^^ | ||
| | ||
help: you might have meant to use `Self` to refer to the implementing type | ||
| | ||
LL | fn f(a: Self) -> Self; | ||
| ~~~~ ~~~~ | ||
|
||
error[E0038]: the trait `B` cannot be made into an object | ||
--> $DIR/object-unsafe-trait-should-use-self-2021.rs:9:13 | ||
| | ||
LL | fn f(a: dyn B) -> dyn 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/object-unsafe-trait-should-use-self-2021.rs:9:8 | ||
| | ||
LL | trait B { | ||
| - this trait cannot be made into an object... | ||
LL | fn f(a: dyn B) -> dyn B; | ||
| ^ ...because associated function `f` has no `self` parameter | ||
help: consider turning `f` into a method by giving it a `&self` argument | ||
| | ||
LL | fn f(&self, a: dyn B) -> dyn B; | ||
| ++++++ | ||
help: alternatively, consider constraining `f` so it does not apply to trait objects | ||
| | ||
LL | fn f(a: dyn B) -> dyn B where Self: Sized; | ||
| +++++++++++++++++ | ||
|
||
error: aborting due to 4 previous errors | ||
|
||
For more information about this error, try `rustc --explain E0038`. |