about summary refs log tree commit diff
path: root/tests/ui/const-generics/generic_const_exprs/issue-100360.rs
blob: 37f015d5e0f212ab810668093ff4073b6b5aa52c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
//@ check-pass
// (this requires debug assertions)

#![feature(adt_const_params, unsized_const_params)]
#![allow(incomplete_features)]

fn foo<const B: &'static bool>(arg: &'static bool) -> bool {
    B == arg
}

fn main() {
    foo::<{ &true }>(&false);
}