{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"Ok(Some(instance))"}]}
            Ok(Some(instance)) => interp_ok(instance),
        match ty::Instance::try_resolve(*self.tcx, self.typing_env, def, args) {
            Ok(None) => throw_inval!(TooGeneric),