blob: 1254b4435f738ccdefca9900f90206cf62f4dca2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
// aux-build:anon_const_non_local.rs
#![feature(generic_const_exprs)]
#![allow(incomplete_features)]
extern crate anon_const_non_local;
fn bar<const M: usize>()
where
[(); M + 1]:,
{
let _: anon_const_non_local::Foo<2> = anon_const_non_local::foo::<M>();
//~^ ERROR: mismatched types
}
fn main() {}
|