{"ast_node_type":"variable","tokens":[{"end":82,"kind":"keyword","start":0,"text":"let"}]}
    let (split_ctors, missing_ctors) = place.split_column_ctors(mcx.tycx, ctors)?;
    let ctors = matrix.heads().map(|p| p.ctor());