src/tools/rustfmt/tests/target/const_trait.rs

#![feature(trait_alias, const_trait_impl)]

const trait Bar {}

const trait Foo = Bar;