#![feature(generic_const_items)]
#![allow(incomplete_features, dead_code)]

//@ check-pass

trait Foo {
    const BAR: bool
    where
        Self: Sized;
}

fn foo(_: &dyn Foo) {}

fn main() {}