{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"||"}]}
            || subst.iter().any(|ty| match ty.skip_binders().data(Interner) {
        (subst.is_empty() && db.generic_params(self.into()).len_type_or_consts() != 0)
                GenericArgData::Ty(it) => it.is_unknown(),