{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"arg.ty(Interner)"}]}
        arg.ty(Interner)
    if projection.substitution.iter(Interner).any(|arg| {
            .is_some_and(|ty| ty.data(Interner).flags.intersects(TypeFlags::HAS_TY_INFER))