src/test/ui/const-generics/defaults/mismatch.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

// revisions: full min
#![cfg_attr(full, feature(const_generics))]
#![feature(const_generics_defaults)]
#![allow(incomplete_features)]

pub struct Example<const N: usize=13>;
pub struct Example2<T=u32, const N: usize=13>(T);
pub struct Example3<const N: usize=13, T=u32>(T);
pub struct Example4<const N: usize=13, const M: usize=4>;

fn main() {
    let e: Example::<13> = ();
    //~^ Error: mismatched types
    //~| expected struct `Example`
    let e: Example2::<u32, 13> = ();
    //~^ Error: mismatched types
    //~| expected struct `Example2`
    let e: Example3::<13, u32> = ();
    //~^ Error: mismatched types
    //~| expected struct `Example3`
    let e: Example3::<7> = ();
    //~^ Error: mismatched types
    //~| expected struct `Example3<7_usize>`
    let e: Example4::<7> = ();
    //~^ Error: mismatched types
    //~| expected struct `Example4<7_usize>`
}