summaryrefslogtreecommitdiffstats
path: root/tests/ui/const-generics/type_mismatch.rs
blob: daa13277be0a08a32d3237ad781733a36a10f197 (plain)
1
2
3
4
5
6
7
8
9
10
fn foo<const N: usize>() -> [u8; N] {
    bar::<N>() //~ ERROR mismatched types
    //~^ ERROR the constant `N` is not of type `u8`
}

fn bar<const N: u8>() -> [u8; N] {}
//~^ ERROR mismatched types
//~| ERROR mismatched types

fn main() {}