☰
TyCtxtInferExt
TyCtxtInferExt
Required Methods
infer_ctxt
Implementations on Foreign Types
TyCtxt<'tcx>
Implementors
In rustc_infer::infer
Modules
at
canonical
combine
equate
error_reporting
free_regions
freshen
fudge
glb
higher_ranked
lattice
lexical_region_resolve
lub
nll_relate
opaque_types
outlives
projection
region_constraints
resolve
sub
type_variable
undo_log
Structs
CombinedSnapshot
InferCtxt
InferCtxtBuilder
InferCtxtInner
InferOk
InferenceLiteralEraser
RegionObligation
ShallowResolver
TypeFreshener
TypeTrace
Enums
DefiningAnchor
FixupError
IntVarValue
LateBoundRegionConversionTime
NllRegionVariableOrigin
RegionResolutionError
RegionVariableOrigin
SubregionOrigin
TyOrConstInferVar
ValuePairs
Traits
TyCtxtInferExt
Functions
replace_param_and_infer_substs_with_placeholder
Type Definitions
FixupResult
InferResult
UnificationTable
UnitResult
?
Trait
rustc_infer
::
infer
::
TyCtxtInferExt
source
·
[
−
]
pub trait TyCtxtInferExt<'tcx> { fn
infer_ctxt
(self) ->
InferCtxtBuilder
<'tcx>; }
Required Methods
§
source
fn
infer_ctxt
(self) ->
InferCtxtBuilder
<'tcx>
Implementations on Foreign Types
§
source
§
impl<'tcx>
TyCtxtInferExt
<'tcx> for
TyCtxt
<'tcx>
source
§
fn
infer_ctxt
(self) ->
InferCtxtBuilder
<'tcx>
Implementors
§