Module hir_def::hir

This module describes hir-level representation of expressions.

This representation is:

1. Identity-based. Each expression has an id, so we can distinguish between different 1 in 1 + 1.
2. Independent of syntax. Though syntactic provenance information can be attached separately via id-based side map.
3. Unresolved. Paths are stored as sequences of names, and not as defs the names refer to.
4. Desugared. There’s no if let.

See also a neighboring body module.

Modules

• format_args
  Parses format_args input.
• type_ref
  HIR for references to types. Paths in these are not yet resolved. They can be directly created from an ast::TypeRef, without further queries.

Structs

• Binding
• FloatTypeWrapper
• InlineAsm
• Label
• MatchArm
• OffsetOf
• RecordFieldPat
• RecordLitField

Enums

• ArithOp
• Array
• BinaryOp
• BindingAnnotation
  Explicit binding annotations given in the HIR for a binding. Note that this is not the final binding mode that we infer after type inference.
• BindingProblems
• CaptureBy
• ClosureKind
• CmpOp
• Expr
• ExprOrPatId
• Literal
• LiteralOrConst
  Used in range patterns.
• LogicOp
• Movability
• Ordering
• Pat
  Close relative to rustc’s hir::PatKind
• RangeOp
• Statement
• UnaryOp

Type Aliases

• BindingId
• ExprId
• LabelId
• PatId