tests/ui/const-generics/generic_const_exprs/issue-105608.rs


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

#![feature(generic_const_exprs)]
#![allow(incomplete_features)]

struct Combination<const STRATEGIES: usize>;

impl<const STRATEGIES: usize> Combination<STRATEGIES> {
    fn and<M>(self) -> Combination<{ STRATEGIES + 1 }> {
        Combination
    }
}

pub fn main() {
    Combination::<0>.and::<_>().and::<_>();
    //~^ ERROR: type annotations needed
}