{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"TyKind::Adt(AdtId(adt),"}]}
                TyKind::Adt(AdtId(adt), ..) => {
                TyKind::Tuple(arity, ..) => arity,
                    if is_box(self.db, adt) {