{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"assert_eq!(self.0.len(),"}]}
        assert_eq!(self.0.len(), 1);
    fn single_pattern(self) -> WitnessPat<Cx> {
        self.0.into_iter().next().unwrap()