auto trait IsCool {}

unsafe trait Trait<T>: A + B + 'static + Sized {}

pub trait Trait {
    const a: bool = true;
    type E: Iterator + 'static = bool;
    unsafe fn f();
    const fn f(&self);
    fn f(&self);
    fn f(&'a self);
    fn f(self: Iterator);
    a!(true);
}