[−][src]Module rustc::ty::sty
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
This module contains TyKind and its major components
Structs
Binder |
[ Experimental ] Binder is a binder for higher-ranked lifetimes. It is part of the
compiler's representation for things like |
CanonicalVar |
[ Experimental ]
|
ClosureSubsts |
[ Experimental ] A closure can be modeled as a struct that looks like: |
Const |
[ Experimental ] Typed constant value. |
DebruijnIndex |
[ Experimental ]
|
EarlyBoundRegion |
[ Experimental ]
|
ExistentialProjection |
[ Experimental ] A |
ExistentialTraitRef |
[ Experimental ] An existential reference to a trait, where |
FloatVid |
[ Experimental ]
|
FnSig |
[ Experimental ] Signature of a function type, which I have arbitrarily decided to use to refer to the input/output types. |
FreeRegion |
[ Experimental ] A "free" region |
GenSig |
[ Experimental ]
|
GeneratorSubsts |
[ Experimental ]
|
IntVid |
[ Experimental ]
|
ParamTy |
[ Experimental ]
|
ProjectionTy |
[ Experimental ] Represents the projection of an associated type. In explicit UFCS
form this would be written |
RegionVid |
[ Experimental ]
|
SplitClosureSubsts |
[ Experimental ] Struct returned by |
SplitGeneratorSubsts |
[ Experimental ]
|
TraitRef |
[ Experimental ] A complete reference to a trait. These take numerous guises in syntax, but perhaps the most recognizable form is in a where clause: |
TyVid |
[ Experimental ]
|
TypeAndMut |
[ Experimental ]
|
Enums
BoundRegion |
[ Experimental ]
|
ExistentialPredicate |
[ Experimental ]
|
InferTy |
[ Experimental ]
|
RegionKind |
[ Experimental ] Representation of regions. |
TyKind |
[ Experimental ] NB: If you change this, you'll probably want to change the corresponding AST structure in libsyntax/ast.rs as well. |
UpvarSubsts |
[ Experimental ]
|
Constants
INNERMOST |
[ Experimental ]
|
Type Definitions
PolyExistentialProjection |
[ Experimental ]
|
PolyExistentialTraitRef |
[ Experimental ]
|
PolyFnSig |
[ Experimental ]
|
PolyGenSig |
[ Experimental ]
|
PolyTraitRef |
[ Experimental ]
|
Region |
[ Experimental ]
|
Existentials
[ Experimental ]
|
|
[ Experimental ]
|
|
[ Experimental ]
|
|
[ Experimental ]
|
|
[ Experimental ]
|
|
[ Experimental ]
|
|
[ Experimental ]
|
|
[ Experimental ]
|
|
[ Experimental ]
|
|
[ Experimental ]
|
|
[ Experimental ]
|
|
[ Experimental ]
|
|
[ Experimental ]
|