Skip to content

Commit 6647eee

Browse files
committed
Add const_generics test for impl-trait-with-const-arguments
1 parent 7029065 commit 6647eee

File tree

3 files changed

+14
-2
lines changed

3 files changed

+14
-2
lines changed

src/test/ui/const-generics/min_const_generics/impl-trait-with-const-arguments.stderr renamed to src/test/ui/const-generics/impl-trait-with-const-arguments.full.stderr

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
error[E0632]: cannot provide explicit generic arguments when `impl Trait` is used in argument position
2-
--> $DIR/impl-trait-with-const-arguments.rs:20:20
2+
--> $DIR/impl-trait-with-const-arguments.rs:24:20
33
|
44
LL | assert_eq!(f::<4usize>(Usizable), 20usize);
55
| ^^^^^^ explicit generic argument not allowed
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
error[E0632]: cannot provide explicit generic arguments when `impl Trait` is used in argument position
2+
--> $DIR/impl-trait-with-const-arguments.rs:24:20
3+
|
4+
LL | assert_eq!(f::<4usize>(Usizable), 20usize);
5+
| ^^^^^^ explicit generic argument not allowed
6+
7+
error: aborting due to previous error
8+

src/test/ui/const-generics/min_const_generics/impl-trait-with-const-arguments.rs renamed to src/test/ui/const-generics/impl-trait-with-const-arguments.rs

+5-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,8 @@
1-
#![feature(min_const_generics)]
1+
// revisions: full min
2+
3+
#![cfg_attr(full, allow(incomplete_features))]
4+
#![cfg_attr(full, feature(const_generics))]
5+
#![cfg_attr(min, feature(min_const_generics))]
26

37
trait Usizer {
48
fn m(self) -> usize;

0 commit comments

Comments
 (0)