{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"///"}]}
    /// Asserts that the witness contains a single pattern, and returns it.
impl<Cx: PatCx> WitnessStack<Cx> {
    fn single_pattern(self) -> WitnessPat<Cx> {