mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add Tests

Browse Source
This commit is contained in:
Veera 2024-07-29 21:47:19 -04:00
parent 4db3d12e6f
commit b58ce4e145
2 changed files with 66 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
tests/ui/associated-type-bounds/name-same-as-generic-type-issue-128249.rs Normal file
View File

@ -0,0 +1,15 @@
trait Trait<Type> {
type Type;
fn one(&self, val: impl Trait<Type: Default>);
//~^ ERROR trait takes 1 generic argument but 0 generic arguments were supplied
fn two<T: Trait<Type: Default>>(&self) -> T;
//~^ ERROR trait takes 1 generic argument but 0 generic arguments were supplied
fn three<T>(&self) -> T where
T: Trait<Type: Default>,;
//~^ ERROR trait takes 1 generic argument but 0 generic arguments were supplied
}
fn main() {}

51
tests/ui/associated-type-bounds/name-same-as-generic-type-issue-128249.stderr Normal file
View File

@ -0,0 +1,51 @@
error[E0107]: trait takes 1 generic argument but 0 generic arguments were supplied
--> $DIR/name-same-as-generic-type-issue-128249.rs:4:30
|
LL | fn one(&self, val: impl Trait<Type: Default>);
| ^^^^^ expected 1 generic argument
|
note: trait defined here, with 1 generic parameter: `Type`
--> $DIR/name-same-as-generic-type-issue-128249.rs:1:7
|
LL | trait Trait<Type> {
| ^^^^^ ----
help: add missing generic argument
|
LL | fn one(&self, val: impl Trait<Type, Type: Default>);
| +++++
error[E0107]: trait takes 1 generic argument but 0 generic arguments were supplied
--> $DIR/name-same-as-generic-type-issue-128249.rs:7:15
|
LL | fn two<T: Trait<Type: Default>>(&self) -> T;
| ^^^^^ expected 1 generic argument
|
note: trait defined here, with 1 generic parameter: `Type`
--> $DIR/name-same-as-generic-type-issue-128249.rs:1:7
|
LL | trait Trait<Type> {
| ^^^^^ ----
help: add missing generic argument
|
LL | fn two<T: Trait<Type, Type: Default>>(&self) -> T;
| +++++
error[E0107]: trait takes 1 generic argument but 0 generic arguments were supplied
--> $DIR/name-same-as-generic-type-issue-128249.rs:11:12
|
LL | T: Trait<Type: Default>,;
| ^^^^^ expected 1 generic argument
|
note: trait defined here, with 1 generic parameter: `Type`
--> $DIR/name-same-as-generic-type-issue-128249.rs:1:7
|
LL | trait Trait<Type> {
| ^^^^^ ----
help: add missing generic argument
|
LL | T: Trait<Type, Type: Default>,;
| +++++
error: aborting due to 3 previous errors
For more information about this error, try `rustc --explain E0107`.