{"ast_node_type":"function","tokens":[{"end":53,"kind":"keyword","start":0,"text":"fn"}]}
    fn push_pattern(&mut self, pat: WitnessPat<Cx>) {
    /// Reverses specialization by the `Missing` constructor by pushing a whole new pattern.
        for witness in self.0.iter_mut() {