{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"self.ctx.db.ty(adt.into()).substitute(Interner,"}]}
                self.ctx.db.ty(adt.into()).substitute(Interner, &substs)
                };
            }