{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"///"}]}
/// This mirrors `PatStack`: they function similarly, except `PatStack` contains user patterns we
///
/// are inspecting, and `WitnessStack` contains witnesses we are constructing.