default impl A {
}
unsafe impl !A {
}
impl A for B {
}
impl<T> A for B<T> {
default const a: bool = true;
type E = T;
fn f(&self) {
}
a!(true);
}