{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"ty::Bool"}]}
        ty::Bool | ty::Int(_) | ty::Uint(_) | ty::Float(_) | ty::Char =>
        // Those are scalars, must be handled above.
            throw_machine_stop_str!("primitive type with provenance"),