tests/ui/traits/const-traits/const-impl-inherent.rs

#![feature(const_trait_impl)]

//@ check-pass

struct Foo;

const impl Foo {
    fn bar() {}
}

const _: () = Foo::bar();

fn main() {
    Foo::bar();
}