summaryrefslogtreecommitdiffstats
path: root/tests/ui/const-generics/promotion.rs
blob: ce9a1a0feb42070c573ae3dd7b2b2b2b964c749f (plain)
1
2
3
4
5
6
7
8
9
// run-pass
// tests that promoting expressions containing const parameters is allowed.
fn promotion_test<const N: usize>() -> &'static usize {
    &(3 + N)
}

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