summary refs log tree commit diff
path: root/src/test/ui/const-generics/promotion.rs
blob: ac568bb75f002c08576e3e2ddade3c77f0402fe1 (plain)
1
2
3
4
5
6
7
8
9
10
11
// run-pass
// tests that promoting expressions containing const parameters is allowed.
#![feature(min_const_generics)]

fn promotion_test<const N: usize>() -> &'static usize {
    &(3 + N)
}

fn main() {
    assert_eq!(promotion_test::<13>(), &16);
}