Skip to content

Commit ae313da

Browse files
committed
Add regression tests
1 parent 2fd874d commit ae313da

File tree

3 files changed

+38
-0
lines changed

3 files changed

+38
-0
lines changed
Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
// check-pass
2+
3+
#![feature(explicit_generic_args_with_impl_trait)]
4+
5+
fn f<T: ?Sized>(_: impl AsRef<T>, _: impl AsRef<T>) {}
6+
7+
fn main() {
8+
f::<[u8]>("a", b"a");
9+
}
Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
#![feature(explicit_generic_args_with_impl_trait)]
2+
3+
fn f<T: ?Sized, U: ?Sized>(_: impl AsRef<T>, _: impl AsRef<U>) {}
4+
5+
fn main() {
6+
f::<[u8]>("a", b"a");
7+
//~^ ERROR: this function takes 2 generic arguments but 1 generic argument was supplied
8+
}
Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,21 @@
1+
error[E0107]: this function takes 2 generic arguments but 1 generic argument was supplied
2+
--> $DIR/not-enough-args.rs:6:5
3+
|
4+
LL | f::<[u8]>("a", b"a");
5+
| ^ ---- supplied 1 generic argument
6+
| |
7+
| expected 2 generic arguments
8+
|
9+
note: function defined here, with 2 generic parameters: `T`, `U`
10+
--> $DIR/not-enough-args.rs:3:4
11+
|
12+
LL | fn f<T: ?Sized, U: ?Sized>(_: impl AsRef<T>, _: impl AsRef<U>) {}
13+
| ^ - -
14+
help: add missing generic argument
15+
|
16+
LL | f::<[u8], U>("a", b"a");
17+
| ^^^
18+
19+
error: aborting due to previous error
20+
21+
For more information about this error, try `rustc --explain E0107`.

0 commit comments

Comments
 (0)