{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":".substitute(Interner,"}]}
                    .substitute(Interner, &subst);
                    .clone()
                let ty = self.insert_type_vars(ty);