blob: 77d3c98dab922d35aa9b4fd7374779119c065cae (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
// check-pass
#![feature(generic_const_exprs)]
#![allow(incomplete_features)]
// This tests that the correct `param_env` is used so that
// attempting to normalize `Self::N` does not cause an ICE.
pub struct Foo<const N: usize>;
impl<const N: usize> Foo<N> {
pub fn foo() {}
}
pub trait Bar {
const N: usize;
fn bar()
where
[(); Self::N]: ,
{
Foo::<{ Self::N }>::foo();
}
}
fn main() {}
|