nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2024-11-27 01:04:03 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add test for bad suggestion

Browse Source
This commit is contained in:
Michael Goulet 2022-12-28 06:44:29 +00:00
parent 01d784131f
commit 992ba801c2
2 changed files with 29 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/test/ui/generic-associated-types/mismatched-where-clause-regions.rs Normal file
View File

@ -0,0 +1,12 @@
trait Foo {
type T<'a1, 'b1>
where
'a1: 'b1;
}
impl Foo for () {
type T<'a2, 'b2> = () where 'b2: 'a2;
//~^ ERROR impl has stricter requirements than trait
}
fn main() {}

17
src/test/ui/generic-associated-types/mismatched-where-clause-regions.stderr Normal file
View File

@ -0,0 +1,17 @@
error[E0276]: impl has stricter requirements than trait
--> $DIR/mismatched-where-clause-regions.rs:8:38
|
LL | type T<'a1, 'b1>
| ---------------- definition of `T` from trait
...
LL | type T<'a2, 'b2> = () where 'b2: 'a2;
| ^^^ impl has extra requirement `'b2: 'a2`
|
help: copy the `where` clause predicates from the trait
|
LL | type T<'a2, 'b2> = () where 'a2: 'b2;
| ~~~~~~~~~~~~~~
error: aborting due to previous error
For more information about this error, try `rustc --explain E0276`.