{"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"///"}]}
/// A `WitnessStack` should have the same types and length as the `PatStack`s we are inspecting
///
/// (except we store the patterns in reverse order). The same way `PatStack` starts with length 1,