{"ast_node_type":"other","tokens":[{"end":21,"kind":"keyword","start":0,"text":"}"}]}
                    }
                        arity = substs.len(Interner);
                    TyKind::Adt(adt, _) if is_box(self.db, adt.0) => {