{"ast_node_type":"function","tokens":[{"end":70,"kind":"keyword","start":0,"text":"fn"}]}
fn check(patterns: Vec<DeconstructedPat<Cx>>) -> Vec<WitnessPat<Cx>> {
/// Analyze a match made of these patterns. Panics if there are no patterns
    let ty = *patterns[0].ty();