tests/ui/generic-const-items/inference-failure.rs


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

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

const NONE<T>: Option<T> = None::<T>;
const IGNORE<T>: () = ();

fn none() {
    let _ = NONE; //~ ERROR type annotations needed
}

fn ignore() {
    let _ = IGNORE; //~ ERROR type annotations needed
}

fn main() {}