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