The following invariant will hold:
(bit_range_start == .none) == (bit_range_end == .none)bit_range_start != .none implies align_node != .nonebit_range_end != .none implies align_node != .noneconst PtrModifiers = struct
const PtrModifiers = struct {
align_node: Node.OptionalIndex,
addrspace_node: Node.OptionalIndex,
bit_range_start: Node.OptionalIndex,
bit_range_end: Node.OptionalIndex,
}