tests/ui/const-generics/generic_const_exprs/non_local_anon_const_diagnostics.rs


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() {}