{"ast_node_type":"function","tokens":[{"end":66,"kind":"keyword","start":0,"text":"fn"}]}
fn check(patterns: Vec<DeconstructedPat<Cx>>) -> Vec<Vec<usize>> {
/// Analyze a match made of these patterns and returns the computed arm intersections.
    let ty = *patterns[0].ty();