{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"///"}]}
/// are inspecting, and `WitnessStack` contains witnesses we are constructing.
/// This mirrors `PatStack`: they function similarly, except `PatStack` contains user patterns we
/// FIXME(Nadrieril): use the same order of patterns for both.