test: Add test for trait in FQS cast, issue #98565

This commit is contained in:
Jan Cibulka 2024-10-21 10:46:36 +03:00
parent de977a5acf
commit d5cfcc71e8
No known key found for this signature in database
2 changed files with 24 additions and 0 deletions

View File

@ -0,0 +1,15 @@
// Regression test for #98565: Provide diagnostics when the user uses
// the built-in type `str` in a cast where a trait is expected.
trait Foo {
fn foo(&self);
}
impl Foo for String {
fn foo(&self) {
<Self as str>::trim(self);
//~^ ERROR expected trait, found builtin type `str`
}
}
fn main() {}

View File

@ -0,0 +1,9 @@
error[E0404]: expected trait, found builtin type `str`
--> $DIR/fully-qualified-syntax-cast.rs:10:18
|
LL | <Self as str>::trim(self);
| ^^^ not a trait
error: aborting due to 1 previous error
For more information about this error, try `rustc --explain E0404`.