Module ra_ap_hir_def::expr [−][src]
Expand description
This module describes hir-level representation of expressions.
This representation is:
- Identity-based. Each expression has an
id
, so we can distinguish between different1
in1 + 1
. - Independent of syntax. Though syntactic provenance information can be attached separately via id-based side map.
- Unresolved. Paths are stored as sequences of names, and not as defs the names refer to.
- Desugared. There’s no
if let
.
See also a neighboring body
module.
Structs
Enums
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.
Close relative to rustc’s hir::PatKind