Trait rustc_infer::infer::canonical::canonicalizer::CanonicalizeRegionMode

pub(in infer::canonical::canonicalizer) trait CanonicalizeRegionMode {
    pub(in infer::canonical::canonicalizer) fn canonicalize_free_region<'tcx>(
        &self, 
        canonicalizer: &mut Canonicalizer<'_, 'tcx>, 
        r: Region<'tcx>
    ) -> Region<'tcx>;
    pub(in infer::canonical::canonicalizer) fn any(
        &self
    ) -> bool;
}

Controls how we canonicalize "free regions" that are not inference variables. This depends on what we are canonicalizing for -- e.g., if we are canonicalizing to create a query, we want to replace those with inference variables, since we want to make a maximally general query. But if we are canonicalizing a query response, then we don't typically replace free regions, as they must have been introduced from other parts of the system.

Required methods

pub(in infer::canonical::canonicalizer) fn canonicalize_free_region<'tcx>(
    &self,
    canonicalizer: &mut Canonicalizer<'_, 'tcx>,
    r: Region<'tcx>
) -> Region<'tcx>

pub(in infer::canonical::canonicalizer) fn any(
    &self
) -> bool

Loading content...

Implementors

impl CanonicalizeRegionMode for CanonicalizeAllFreeRegions

pub(in infer::canonical::canonicalizer) fn canonicalize_free_region<'tcx>(
    &self,
    canonicalizer: &mut Canonicalizer<'_, 'tcx>,
    r: Region<'tcx>
) -> Region<'tcx>

pub(in infer::canonical::canonicalizer) fn any(
    &self
) -> bool

impl CanonicalizeRegionMode for CanonicalizeFreeRegionsOtherThanStatic

pub(in infer::canonical::canonicalizer) fn canonicalize_free_region<'tcx>(
    &self,
    canonicalizer: &mut Canonicalizer<'_, 'tcx>,
    r: Region<'tcx>
) -> Region<'tcx>

pub(in infer::canonical::canonicalizer) fn any(
    &self
) -> bool

impl CanonicalizeRegionMode for CanonicalizeQueryResponse

pub(in infer::canonical::canonicalizer) fn canonicalize_free_region<'tcx>(
    &self,
    canonicalizer: &mut Canonicalizer<'_, 'tcx>,
    r: Region<'tcx>
) -> Region<'tcx>

pub(in infer::canonical::canonicalizer) fn any(
    &self
) -> bool

impl CanonicalizeRegionMode for CanonicalizeUserTypeAnnotation

pub(in infer::canonical::canonicalizer) fn canonicalize_free_region<'tcx>(
    &self,
    canonicalizer: &mut Canonicalizer<'_, 'tcx>,
    r: Region<'tcx>
) -> Region<'tcx>

pub(in infer::canonical::canonicalizer) fn any(
    &self
) -> bool

Loading content...