//@ known-bug: #133275
#![feature(const_trait_impl)]
#![feature(associated_type_defaults)]

#[const_trait]
trait Foo3<T>
where
    Self::Baz: Clone,
{
    type Baz = T;
}

pub fn main() {}