{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"ty::Tuple(args)"}]}
        ty::Tuple(args) => (args.len(), None, op),
        }
        _ => bug!("cannot destructure mir constant {:?}", val),