src/test/ui/const-generics/lazy-normalization/issue-71986.rs


1
2
3
4
5
6
7
8

// check-pass
#![allow(incomplete_features)]
#![feature(const_generics)]

pub trait Foo<const B: bool> {}
pub fn bar<T: Foo<{ true }>>() {}

fn main() {}