{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"TyKind::Adt(AdtId(adt),"}]}
            TyKind::Adt(AdtId(adt), parameters) => Some((*adt, parameters)),
        match self.kind(Interner) {
            _ => None,