{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"drop(inner);"}]}
                drop(inner);
                    .ok_or_else(|| ty::TyVar(inner.type_variables().root_var(v)));
                Some(self.freshen_ty(input, |n| Ty::new_fresh(self.infcx.tcx, n)))