{"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"///"}]}
///
/// FIXME(Nadrieril): use the same order of patterns for both.
/// A `WitnessStack` should have the same types and length as the `PatStack`s we are inspecting