pub enum InferTy {
TyVar(TyVid),
IntVar(IntVid),
FloatVar(FloatVid),
FreshTy(u32),
FreshIntTy(u32),
}
Variants
TyVar | |
IntVar | |
FloatVar | |
FreshTy | A FreshTy is one that is generated as a replacement for an
unbound type variable. This is convenient for caching etc. See
middle::infer::freshen for more details.
|
FreshIntTy | |
Trait Implementations
Derived Implementations
Keyboard shortcuts
- ?
- Show this help dialog
- S
- Focus the search field
- ⇤
- Move up in search results
- ⇥
- Move down in search results
- ⏎
- Go to active search result
Search tricks
Prefix searches with a type followed by a colon (e.g.
fn:
) to restrict the search to a given type.
Accepted types are: fn
, mod
,
struct
, enum
,
trait
, typedef
(or
tdef
).