Crate rustc_type_ir[−][src]

Structs

DebruijnIndex

A De Bruijn index is a standard means of representing regions (and perhaps later types) in a higher-ranked setting. In particular, imagine a type like this:

FloatVarValue
FloatVid

An floating-point (f32 or f64) type variable ID.

IntVid

An integral (u32, i32, usize, etc.) type variable ID.

TyVid

A type variable ID.

TypeFlags

Flags that we track on types. These flags are propagated upwards through the type during type construction, so that we can quickly check whether the type has various kinds of types in it without recursing over the type itself.

Enums

FloatTy
InferTy

A placeholder for a type that hasn’t been inferred yet.

IntTy
IntVarValue
UintTy
Variance

Constants

INNERMOST