{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"targets:"}]}
        targets: &'mir SwitchTargets,
        discr: &'mir Operand<'tcx>,
        state: &mut State<FlatSet<Scalar>>,