Skip to content

Return early to fix ICE #94711

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Mar 12, 2022
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion compiler/rustc_middle/src/ty/diagnostics.rs
Original file line number Diff line number Diff line change
Expand Up @@ -512,7 +512,7 @@ pub fn suggest_constraining_type_params<'a>(
};

err.span_suggestion_verbose(span, msg, suggestion, applicability);
} else {
} else if suggestions.len() > 1 {
err.multipart_suggestion_verbose(
"consider restricting type parameters",
suggestions.into_iter().map(|(span, suggestion, _)| (span, suggestion)).collect(),
Expand Down
11 changes: 11 additions & 0 deletions src/test/ui/suggestions/constrain-suggest-ice.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
struct Bug<S>{ //~ ERROR parameter `S` is never used [E0392]
A: [(); {
let x: [u8; Self::W] = [0; Self::W]; //~ ERROR generic `Self` types are currently not permitted in anonymous constants
//~^ ERROR generic `Self` types are currently not permitted in anonymous constants
//~^^ ERROR the size for values of type `S` cannot be known at compilation time [E0277]
F //~ ERROR cannot find value `F` in this scope [E0425]
}
} //~ ERROR mismatched closing delimiter: `}`
//~^ ERROR mismatched closing delimiter: `}`

fn main() {}
81 changes: 81 additions & 0 deletions src/test/ui/suggestions/constrain-suggest-ice.stderr
Original file line number Diff line number Diff line change
@@ -0,0 +1,81 @@
error: mismatched closing delimiter: `}`
--> $DIR/constrain-suggest-ice.rs:2:8
|
LL | struct Bug<S>{
| - closing delimiter possibly meant for this
LL | A: [(); {
| ^ unclosed delimiter
...
LL | }
| ^ mismatched closing delimiter

error: mismatched closing delimiter: `}`
--> $DIR/constrain-suggest-ice.rs:2:8
|
LL | struct Bug<S>{
| - closing delimiter possibly meant for this
LL | A: [(); {
| ^ unclosed delimiter
...
LL | }
| ^ mismatched closing delimiter

error[E0425]: cannot find value `F` in this scope
--> $DIR/constrain-suggest-ice.rs:6:9
|
LL | F
| ^
|
help: a local variable with a similar name exists
|
LL | x
| ~
help: you might be missing a type parameter
|
LL | struct Bug<S, F>{
| +++

error: generic `Self` types are currently not permitted in anonymous constants
--> $DIR/constrain-suggest-ice.rs:3:21
|
LL | let x: [u8; Self::W] = [0; Self::W];
| ^^^^

error: generic `Self` types are currently not permitted in anonymous constants
--> $DIR/constrain-suggest-ice.rs:3:36
|
LL | let x: [u8; Self::W] = [0; Self::W];
| ^^^^

error[E0277]: the size for values of type `S` cannot be known at compilation time
--> $DIR/constrain-suggest-ice.rs:3:36
|
LL | struct Bug<S>{
| - this type parameter needs to be `std::marker::Sized`
LL | A: [(); {
LL | let x: [u8; Self::W] = [0; Self::W];
| ^^^^^^^ doesn't have a size known at compile-time
|
note: required by a bound in `Bug`
--> $DIR/constrain-suggest-ice.rs:1:12
|
LL | struct Bug<S>{
| ^ required by this bound in `Bug`
help: consider relaxing the implicit `Sized` restriction
|
LL | struct Bug<S: ?Sized>{
| ++++++++

error[E0392]: parameter `S` is never used
--> $DIR/constrain-suggest-ice.rs:1:12
|
LL | struct Bug<S>{
| ^ unused parameter
|
= help: consider removing `S`, referring to it in a field, or using a marker such as `PhantomData`
= help: if you intended `S` to be a const parameter, use `const S: usize` instead

error: aborting due to 7 previous errors

Some errors have detailed explanations: E0277, E0392, E0425.
For more information about an error, try `rustc --explain E0277`.