Loc
Fields of this type
Fields
- discard:discard
- The expression is the right-hand side of assignment to `_`.
- none:none
- The expression has an inferred type, and it will be evaluated as an rvalue.
- ty:Zir.Inst.Ref
- The expression will be coerced into this type, but it will be evaluated as an rvalue.
- coerced_ty:Zir.Inst.Ref
- Same as `ty` but it is guaranteed that Sema will additionally perform the coercion,
- ref:ref
- The expression must generate a pointer rather than a value.
- ref_coerced_ty:Zir.Inst.Ref
- The expression must generate a pointer rather than a value, and the pointer will be coerced
- ptr:PtrResultLoc
- The expression must store its result into this typed pointer.
- inferred_ptr:Zir.Inst.Ref
- The expression must store its result into this allocation, which has an inferred type.
- destructure:struct { /// The AST node of the destructure operation itself. src_node: Ast.Node.Index, /// The pointers to store results into. components: []const DestructureComponent, }
- The expression has a sequence of pointers to store its results into due to a destructure