Auto merge of #75166 - JulianKnodt:i64494, r=lcnr
Add regression test for #64494 Add regression test to indicate if this compilation ever succeeds. Fixes #64494 r? @lcnr
This commit is contained in:
commit
22ee68dc58
2 changed files with 37 additions and 0 deletions
19
src/test/ui/const-generics/issues/issue-64494.rs
Normal file
19
src/test/ui/const-generics/issues/issue-64494.rs
Normal file
|
@ -0,0 +1,19 @@
|
|||
#![feature(const_generics)]
|
||||
#![allow(incomplete_features)]
|
||||
|
||||
trait Foo {
|
||||
const VAL: usize;
|
||||
}
|
||||
|
||||
trait MyTrait {}
|
||||
|
||||
trait True {}
|
||||
struct Is<const T: bool>;
|
||||
impl True for Is<{true}> {}
|
||||
|
||||
impl<T: Foo> MyTrait for T where Is<{T::VAL == 5}>: True {}
|
||||
//~^ ERROR constant expression depends on a generic parameter
|
||||
impl<T: Foo> MyTrait for T where Is<{T::VAL == 6}>: True {}
|
||||
//~^ ERROR constant expression depends on a generic parameter
|
||||
|
||||
fn main() {}
|
18
src/test/ui/const-generics/issues/issue-64494.stderr
Normal file
18
src/test/ui/const-generics/issues/issue-64494.stderr
Normal file
|
@ -0,0 +1,18 @@
|
|||
error: constant expression depends on a generic parameter
|
||||
--> $DIR/issue-64494.rs:14:53
|
||||
|
|
||||
LL | impl<T: Foo> MyTrait for T where Is<{T::VAL == 5}>: True {}
|
||||
| ^^^^
|
||||
|
|
||||
= note: this may fail depending on what value the parameter takes
|
||||
|
||||
error: constant expression depends on a generic parameter
|
||||
--> $DIR/issue-64494.rs:16:53
|
||||
|
|
||||
LL | impl<T: Foo> MyTrait for T where Is<{T::VAL == 6}>: True {}
|
||||
| ^^^^
|
||||
|
|
||||
= note: this may fail depending on what value the parameter takes
|
||||
|
||||
error: aborting due to 2 previous errors
|
||||
|
Loading…
Reference in a new issue