#[fortuples::auto_impl]
trait Test {
    type Assoc;
}

fn main() {}