From 29dc902beb037c4cdcad3569d3fc7b72424e8779 Mon Sep 17 00:00:00 2001 From: Niko Matsakis Date: Sun, 11 Mar 2018 07:09:06 -0400 Subject: [PATCH] remove dead code --- src/librustc/infer/canonical.rs | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/src/librustc/infer/canonical.rs b/src/librustc/infer/canonical.rs index 73fb2a92de6..21d60bb8b36 100644 --- a/src/librustc/infer/canonical.rs +++ b/src/librustc/infer/canonical.rs @@ -518,17 +518,6 @@ impl<'cx, 'gcx, 'tcx> InferCtxt<'cx, 'gcx, 'tcx> { } } -impl<'cx, 'gcx> TyCtxt<'cx, 'gcx, 'gcx> { - /// Canonicalize a value that doesn't have any inference variables - /// or other things (and we know it). - pub fn canonicalize_global(self, value: &V) -> (V::Canonicalized, CanonicalVarValues<'gcx>) - where - V: Canonicalize<'gcx, 'gcx>, - { - Canonicalizer::canonicalize(value, None, self, CanonicalizeAllFreeRegions(false)) - } -} - /// If this flag is true, then all free regions will be replaced with /// a canonical var. This is used to make queries as generic as /// possible. For example, the query `F: Foo<'static>` would be