{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"impl<Cx:"}]}
impl<Cx: PatCx> WitnessStack<Cx> {
    /// Asserts that the witness contains a single pattern, and returns it.