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#95085 - ouz-a:master5, r=jackh726
Return err instead of ICE Having `escaping_bound_vars` results in ICE when trying to create `ty::Binder::dummy`, to avoid it we return err like the line above. I think this requires a more sophisticated fix, I would love to investigate if mentorship is available 🤓 Fixes rust-lang#95023 and rust-lang#85350
- Loading branch information
Showing
4 changed files
with
73 additions
and
3 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,11 @@ | ||
struct ErrorKind; | ||
struct Error(ErrorKind); | ||
impl Fn(&isize) for Error { | ||
//~^ ERROR manual implementations of `Fn` are experimental [E0183] | ||
//~^^ ERROR associated type bindings are not allowed here [E0229] | ||
fn foo<const N: usize>(&self) -> Self::B<{N}>; | ||
//~^ ERROR associated function in `impl` without body | ||
//~^^ ERROR method `foo` is not a member of trait `Fn` [E0407] | ||
//~^^^ ERROR associated type `B` not found for `Self` [E0220] | ||
} | ||
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,38 @@ | ||
error: associated function in `impl` without body | ||
--> $DIR/issue-95023.rs:6:5 | ||
| | ||
LL | fn foo<const N: usize>(&self) -> Self::B<{N}>; | ||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^- | ||
| | | ||
| help: provide a definition for the function: `{ <body> }` | ||
|
||
error[E0407]: method `foo` is not a member of trait `Fn` | ||
--> $DIR/issue-95023.rs:6:5 | ||
| | ||
LL | fn foo<const N: usize>(&self) -> Self::B<{N}>; | ||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ not a member of trait `Fn` | ||
|
||
error[E0183]: manual implementations of `Fn` are experimental | ||
--> $DIR/issue-95023.rs:3:6 | ||
| | ||
LL | impl Fn(&isize) for Error { | ||
| ^^^^^^^^^^ manual implementations of `Fn` are experimental | ||
| | ||
= help: add `#![feature(unboxed_closures)]` to the crate attributes to enable | ||
|
||
error[E0229]: associated type bindings are not allowed here | ||
--> $DIR/issue-95023.rs:3:6 | ||
| | ||
LL | impl Fn(&isize) for Error { | ||
| ^^^^^^^^^^ associated type not allowed here | ||
|
||
error[E0220]: associated type `B` not found for `Self` | ||
--> $DIR/issue-95023.rs:6:44 | ||
| | ||
LL | fn foo<const N: usize>(&self) -> Self::B<{N}>; | ||
| ^ associated type `B` not found | ||
|
||
error: aborting due to 5 previous errors | ||
|
||
Some errors have detailed explanations: E0183, E0220, E0229, E0407. | ||
For more information about an error, try `rustc --explain E0183`. |
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