Don't suggest turning non-char-literal exprs of ty `char` into string literals

This commit is contained in:
León Orell Valerian Liehr 2024-05-28 04:15:54 +02:00
parent 0a59f11362
commit 27cdc0df4e
No known key found for this signature in database
GPG Key ID: D17A07215F68E713
6 changed files with 66 additions and 11 deletions

View File

@ -2064,10 +2064,15 @@ impl<'tcx> TypeErrCtxt<'_, 'tcx> {
// If a string was expected and the found expression is a character literal,
// perhaps the user meant to write `"s"` to specify a string literal.
(ty::Ref(_, r, _), ty::Char) if r.is_str() => {
suggestions.push(TypeErrorAdditionalDiags::MeantStrLiteral {
start: span.with_hi(span.lo() + BytePos(1)),
end: span.with_lo(span.hi() - BytePos(1)),
})
if let Ok(code) = self.tcx.sess().source_map().span_to_snippet(span)
&& code.starts_with("'")
&& code.ends_with("'")
{
suggestions.push(TypeErrorAdditionalDiags::MeantStrLiteral {
start: span.with_hi(span.lo() + BytePos(1)),
end: span.with_lo(span.hi() - BytePos(1)),
});
}
}
// For code `if Some(..) = expr `, the type mismatch may be expected `bool` but found `()`,
// we try to suggest to add the missing `let` for `if let Some(..) = expr`

View File

@ -1,7 +0,0 @@
//@ known-bug: rust-lang/rust#125081
use std::cell::Cell;
fn main() {
let _: Cell<&str, "a"> = Cell::new('β);
}

View File

@ -0,0 +1,7 @@
// issue: rust-lang/rust#125081
fn main() {
let _: &str = 'β;
//~^ ERROR expected `while`, `for`, `loop` or `{` after a label
//~| ERROR mismatched types
}

View File

@ -0,0 +1,22 @@
error: expected `while`, `for`, `loop` or `{` after a label
--> $DIR/str-as-char-butchered.rs:4:21
|
LL | let _: &str = 'β;
| ^ expected `while`, `for`, `loop` or `{` after a label
|
help: add `'` to close the char literal
|
LL | let _: &str = 'β';
| +
error[E0308]: mismatched types
--> $DIR/str-as-char-butchered.rs:4:19
|
LL | let _: &str = 'β;
| ---- ^^ expected `&str`, found `char`
| |
| expected due to this
error: aborting due to 2 previous errors
For more information about this error, try `rustc --explain E0308`.

View File

@ -0,0 +1,9 @@
// Don't suggest double quotes when encountering an expr of type `char` where a `&str`
// is expected if the expr is not a char literal.
// issue: rust-lang/rust#125595
fn main() {
let _: &str = ('a'); //~ ERROR mismatched types
let token = || 'a';
let _: &str = token(); //~ ERROR mismatched types
}

View File

@ -0,0 +1,19 @@
error[E0308]: mismatched types
--> $DIR/str-as-char-non-lit.rs:6:19
|
LL | let _: &str = ('a');
| ---- ^^^^^ expected `&str`, found `char`
| |
| expected due to this
error[E0308]: mismatched types
--> $DIR/str-as-char-non-lit.rs:8:19
|
LL | let _: &str = token();
| ---- ^^^^^^^ expected `&str`, found `char`
| |
| expected due to this
error: aborting due to 2 previous errors
For more information about this error, try `rustc --explain E0308`.