pub fn canonicalize_hr_query_hack<V>(
        &self,
        value: &V,
        var_values: &mut SmallCanonicalVarValues<'tcx>
    ) -> Canonicalized<'gcx, V>
    where
        V: TypeFoldable<'tcx> + Lift<'gcx>,
    {
        self.tcx
            .sess
            .perf_stats
            .queries_canonicalized
            .fetch_add(1, Ordering::Relaxed);

        Canonicalizer::canonicalize(
            value,
            Some(self),
            self.tcx,
            CanonicalizeRegionMode {
                static_region: false,
                other_free_regions: true,
            },
            var_values
        )
    }
/// A hacky variant of `canonicalize_query` that does not
/// canonicalize `'static`.  Unfortunately, the existing leak
/// check treaks `'static` differently in some cases (see also
/// #33684), so if we are performing an operation that may need to
/// prove "leak-check" related things, we leave `'static`
/// alone.
///
/// FIXME(#48536) -- once we have universes, we can remove this and just use
/// `canonicalize_query`.
A hacky variant of `canonicalize_query` that does not
canonicalize `'static`.  Unfortunately, the existing leak
check treaks `'static` differently in some cases (see also
A hacky variant of ` canonicalize_query ` that does not canonicalize ` ' static ` . Unfortunately the existing leak check treaks ` ' static ` differently in some cases ( see also
pub fn canonicalize_hr_query_hack<V>(
        &self,
        value: &V,
        var_values: &mut SmallCanonicalVarValues<'tcx>
    ) -> Canonicalized<'gcx, V>
    where
        V: TypeFoldable<'tcx> + Lift<'gcx>,
    {
        self.tcx
            .sess
            .perf_stats
            .queries_canonicalized
            .fetch_add(1, Ordering::Relaxed);
        Canonicalizer::canonicalize(
            value,
            Some(self),
            self.tcx,
            CanonicalizeRegionMode {
                static_region: false,
                other_free_regions: true,
            },
            var_values
        )
    }
pub fn canonicalize_hr_query_hack < V > ( & self , value : & V , var_values : & mut SmallCanonicalVarValues < ' tcx > ) -> Canonicalized < ' gcx , V > where V : TypeFoldable < ' tcx > + Lift < ' gcx > , { self . tcx . sess . perf_stats . queries_canonicalized . fetch_add ( 1 , Ordering :: Relaxed ) ; Canonicalizer :: canonicalize ( value , Some ( self ) , self . tcx , CanonicalizeRegionMode { static_region : false , other_free_regions : true , } , var_values ) }
A hacky variant of `canonicalize_query` that does not
canonicalize `'static`.
A hacky variant of ` canonicalize_query ` that does not canonicalize ` ' static ` .
&self
value
&V
var_values
&mut SmallCanonicalVarValues<'tcx>
33684), so if we are performing an operation that may need to
prove "leak-check" related things, we leave `'static`
alone.


prove " leak - check " related things we leave ` ' static ` alone .