pub static HAND: &[(Opcode, &str)]Expand description
An opcode lowered somewhere a rule cannot reach, and what happens to it there.
Not one of these is a gap. Each is an opcode whose lowering depends on something no pattern can see, so the answer lives where that something is known: where a call’s operands go depends on the signature, where a local lives depends on the frame, an unconditional jump is an edge and edges live on the block.
This used to be twice as long, and the half that went is the half the pre-selection group can be
asked about directly. An entry here is one nothing can be asked about, because what does the
work is a match arm rather than a pass with a name.