tests/ui/typeck/const-in-fn-call-generics.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

fn generic<const N: u32>() {}

trait Collate<const A: u32> {
    type Pass;
    fn collate(self) -> Self::Pass;
}

impl<const B: u32> Collate<B> for i32 {
    type Pass = ();
    fn collate(self) -> Self::Pass {
        generic::<{ true }>()
        //~^ ERROR: mismatched types
    }
}

fn main() {}