From bd93741bd34071faa74dc3c7de862ce289378cba Mon Sep 17 00:00:00 2001 From: Niko Matsakis Date: Wed, 17 Oct 2018 12:32:00 -0400 Subject: [PATCH] remove outdated assertion This dates from the days before we instantiated user types with inference variables. --- src/librustc/infer/canonical/query_response.rs | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) diff --git a/src/librustc/infer/canonical/query_response.rs b/src/librustc/infer/canonical/query_response.rs index c29a75c34cf9..b9edc9f51eaa 100644 --- a/src/librustc/infer/canonical/query_response.rs +++ b/src/librustc/infer/canonical/query_response.rs @@ -19,7 +19,7 @@ use infer::canonical::substitute::substitute_value; use infer::canonical::{ - Canonical, CanonicalVarKind, CanonicalVarValues, CanonicalizedQueryResponse, Certainty, + Canonical, CanonicalVarValues, CanonicalizedQueryResponse, Certainty, OriginalQueryValues, QueryRegionConstraint, QueryResponse, }; use infer::region_constraints::{Constraint, RegionConstraintData}; @@ -262,13 +262,6 @@ impl<'cx, 'gcx, 'tcx> InferCtxt<'cx, 'gcx, 'tcx> { where R: Debug + TypeFoldable<'tcx>, { - // In an NLL query, there should be no type variables in the - // query, only region variables. - debug_assert!(query_response.variables.iter().all(|v| match v.kind { - CanonicalVarKind::Ty(_) => false, - CanonicalVarKind::Region => true, - })); - let result_subst = self.query_response_substitution_guess(cause, original_values, query_response);