forked from rust-lang/rust
-
Notifications
You must be signed in to change notification settings - Fork 1
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 rust-lang#113453 - spastorino:new-rpitit-30, r=compil…
…er-errors Remove unused from_method from rustc_on_unimplemented Fixes rust-lang#113439 `on_unimplemented_note` was calling `item_name` for RPITITs and that produced ICEs. I've added a regression test for that but also have removed `from_method` symbol entirely because it wasn't even used and by doing that the `item_name` call was also removed. r? `@compiler-errors`
- Loading branch information
Showing
5 changed files
with
52 additions
and
20 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
16 changes: 16 additions & 0 deletions
16
tests/ui/impl-trait/in-trait/return-dont-satisfy-bounds.current.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,16 @@ | ||
error[E0277]: the trait bound `impl Foo<u8>: Foo<char>` is not satisfied | ||
--> $DIR/return-dont-satisfy-bounds.rs:13:34 | ||
| | ||
LL | fn foo<F2: Foo<u8>>(self) -> impl Foo<u8> { | ||
| ^^^^^^^^^^^^ the trait `Foo<char>` is not implemented for `impl Foo<u8>` | ||
| | ||
= help: the trait `Foo<char>` is implemented for `Bar` | ||
note: required by a bound in `Foo::foo::{opaque#0}` | ||
--> $DIR/return-dont-satisfy-bounds.rs:7:30 | ||
| | ||
LL | fn foo<F2>(self) -> impl Foo<T>; | ||
| ^^^^^^ required by this bound in `Foo::foo::{opaque#0}` | ||
|
||
error: aborting due to previous error | ||
|
||
For more information about this error, try `rustc --explain E0277`. |
16 changes: 16 additions & 0 deletions
16
tests/ui/impl-trait/in-trait/return-dont-satisfy-bounds.next.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,16 @@ | ||
error[E0277]: the trait bound `impl Foo<u8>: Foo<char>` is not satisfied | ||
--> $DIR/return-dont-satisfy-bounds.rs:13:34 | ||
| | ||
LL | fn foo<F2: Foo<u8>>(self) -> impl Foo<u8> { | ||
| ^^^^^^^^^^^^ the trait `Foo<char>` is not implemented for `impl Foo<u8>` | ||
| | ||
= help: the trait `Foo<char>` is implemented for `Bar` | ||
note: required by a bound in `Foo::{opaque#0}` | ||
--> $DIR/return-dont-satisfy-bounds.rs:7:30 | ||
| | ||
LL | fn foo<F2>(self) -> impl Foo<T>; | ||
| ^^^^^^ required by this bound in `Foo::{opaque#0}` | ||
|
||
error: aborting due to previous error | ||
|
||
For more information about this error, try `rustc --explain E0277`. |
19 changes: 19 additions & 0 deletions
19
tests/ui/impl-trait/in-trait/return-dont-satisfy-bounds.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 @@ | ||
// [next] compile-flags: -Zlower-impl-trait-in-trait-to-assoc-ty | ||
// revisions: current next | ||
|
||
#![feature(return_position_impl_trait_in_trait)] | ||
|
||
trait Foo<T> { | ||
fn foo<F2>(self) -> impl Foo<T>; | ||
} | ||
|
||
struct Bar; | ||
|
||
impl Foo<char> for Bar { | ||
fn foo<F2: Foo<u8>>(self) -> impl Foo<u8> { | ||
//~^ ERROR: the trait bound `impl Foo<u8>: Foo<char>` is not satisfied [E0277] | ||
self | ||
} | ||
} | ||
|
||
fn main() {} |