1 2 3 4 5 6
//@ check-pass pub trait Foo<const B: bool> {} pub fn bar<T: Foo<{ true }>>() {} fn main() {}