{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"covered_by.sort_by_key(|pat|"}]}
            covered_by.sort_by_key(|pat| pat.uid); // sort to avoid instability
            let mut covered_by: Vec<_> = self.covered_by.iter().copied().collect();
            Some(RedundancyExplanation { covered_by })