blob: 32c4de1981b2d9c23220c7ed56669f12f2152b1e [file] [log] [blame] [edit]
#![feature(generic_const_items)]
#![allow(incomplete_features, dead_code)]
//@ check-pass
trait Foo<T> {
const BAR: bool
where
Self: Sized;
}
trait Cake {}
impl Cake for () {}
fn foo(_: &dyn Foo<()>) {}
fn bar(_: &dyn Foo<i32>) {}
fn main() {}