Skip to content

Commit b2a6842

Browse files
committed
add test
1 parent 16d1dcb commit b2a6842

File tree

2 files changed

+10
-2
lines changed

2 files changed

+10
-2
lines changed

tests/ui/enum-discriminant/generic-self-in-discr-inline-const.rs

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,9 @@ use std::marker::PointeeSized;
99
enum What<T: PointeeSized> {
1010
X = const { { let _: *mut Self; 1_usize } },
1111
//~^ ERROR generic `Self` types are not permitted in enum discriminant values
12-
Y(*mut T),
12+
Y = { let _f = || { let _: *mut Self; }; 1_usize },
13+
//~^ ERROR generic `Self` types are not permitted in enum discriminant values
14+
Z(*mut T),
1315
}
1416

1517
fn main() {}

tests/ui/enum-discriminant/generic-self-in-discr-inline-const.stderr

Lines changed: 7 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,5 +4,11 @@ error: generic `Self` types are not permitted in enum discriminant values
44
LL | X = const { { let _: *mut Self; 1_usize } },
55
| ^^^^
66

7-
error: aborting due to 1 previous error
7+
error: generic `Self` types are not permitted in enum discriminant values
8+
--> $DIR/generic-self-in-discr-inline-const.rs:12:37
9+
|
10+
LL | Y = { let _f = || { let _: *mut Self; }; 1_usize },
11+
| ^^^^
12+
13+
error: aborting due to 2 previous errors
814

0 commit comments

Comments
 (0)