☰
Module sub
rustc_infer
1.75.0-dev
Module sub
Structs
In rustc_infer::infer
Modules
at
canonical
combine
equate
error_reporting
free_regions
freshen
fudge
generalize
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
FixupError
IntVarValue
LateBoundRegionConversionTime
NllRegionVariableOrigin
RegionResolutionError
RegionVariableOrigin
SubregionOrigin
TyOrConstInferVar
ValuePairs
Traits
ObligationEmittingRelation
TyCtxtInferExt
Functions
replace_param_and_infer_args_with_placeholder
Type Aliases
FixupResult
InferResult
UnificationTable
UnitResult
?
Module
rustc_infer
::
infer
::
sub
source
·
[
−
]
Structs
Sub
Ensures
a
is made a subtype of
b
. Returns
a
on success.