Expand description
Hax representations of Rust types and related type operations.
Structs§
- AdtTy
- Alias
- This type merges the information from
[
ty::AliasTyKind] and [ty::AliasTy]. - ArrayTy
- Canonical
User Type Annotation - Reflects [
ty::CanonicalUserTypeAnnotation] - Closure
Ty - Reflects [
ty::ClosureArgs] - Coroutine
Ty - DynTrait
Ty - FnDefTy
- FnPtrTy
- Foreign
Ty - PatTy
- RawPtr
Ty - RefTy
- SliceTy
- StrTy
- TupleTy
- Ty
- Reflects [
rustc_middle::ty::Ty] - TyFnSig
- Reflects [
ty::FnSig] - Type
AndMut - Reflects [
ty::TypeAndMut] - User
Args - Reflects [
ty::UserArgs] - User
Self Ty - Reflects [
ty::UserSelfTy]
Enums§
- Alias
Kind - Reflects [
rustc_middle::ty::AliasTyKind]. - Closure
Kind - Reflects [
ty::ClosureKind] - FloatTy
- Reflects [
ty::FloatTy] - IntTy
- Reflects [
ty::IntTy] - LitInt
Type - Reflects [
rustc_ast::ast::LitIntType] - Pattern
- TyKind
- Reflects [
ty::TyKind] - UintTy
- Reflects [
ty::UintTy] - Unsizing
Metadata - The metadata to attach to the newly-unsized ptr.
- User
Type - Reflects [
ty::UserType]: this is currently disabled, and everything is printed as debug in theUserType::Todovariant. - Extern
Abi - ABI we expect to see within
extern "{abi}"
Functions§
- alias_
ty_ kind_ def_ id - closure_
sig - Retrieve a closure’s signature.
- compute_
unsizing_ metadata
Type Aliases§
- Poly
FnSig - Reflects [
ty::PolyFnSig]