// All constant items (associated or otherwise) may syntactically use `_` as a name.
//@ check-pass
fn main() {}
#[cfg(FALSE)]
const _: () = {
pub trait A {
const _: () = ();
}
impl A for () {
impl dyn A {
};