src/test/incremental/const-generics/try_unify_abstract_const_regression_tests/issue-85031-2.rs


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

// revisions: cfail
#![allow(incomplete_features)]
#![feature(generic_const_exprs)]

pub struct Ref<'a>(&'a i32);

impl<'a> Ref<'a> {
    pub fn foo<const A: usize>() -> [(); A - 0] {
        Self::foo()
        //~^ error: type annotations needed
    }
}

fn main() {}