{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"GenericArgData::Ty(it)"}]}
                GenericArgData::Ty(it) => it.is_unknown(),
            || subst.iter().any(|ty| match ty.skip_binders().data(Interner) {
                _ => false,