Typeassert error in _arf_get_mpfr on nightly

[lgoettgens]

See https://github.com/oscar-system/Oscar.jl/actions/runs/11905577520/job/33176301244#step:10:538.

This error first showed up in Oscar's CI with Julia 1.12.0-DEV.1652, Commit c5899c2d54f and was not present with 1.12.0-DEV.1647, Commit fa880a730e3. Diff: JuliaLang/julia@fa880a7...c5899c2

Enumeration of lattices with finite isometries: Error During Test at /home/runner/work/Oscar.jl/Oscar.jl/experimental/QuadFormAndIsom/test/runtests.jl:270
  Test threw exception
  Expression: length(enumerate_classes_of_lattices_with_isometry(E6, 9)) == 1
  TypeError: in typeassert, expected Union{Nothing, Base.ScopedValues.Scope}, got a value of type ZZRingElem
  Stacktrace:
    [1] get
      @ ./scopedvalues.jl:152 [inlined]
    [2] _precision_with_base_2
      @ ./mpfr.jl:1041 [inlined]
    [3] BigFloat
      @ ./mpfr.jl:150 [inlined]
    [4] _arf_get_mpfr(t::Nemo.arf_struct, ::RoundingMode{:Nearest})
      @ Nemo ~/.julia/packages/Nemo/0TzOv/src/arb/arb.jl:129
    [5] BigFloat
      @ ~/.julia/packages/Nemo/0TzOv/src/arb/arb.jl:91 [inlined]
    [6] BigFloat
      @ ~/.julia/packages/Nemo/0TzOv/src/arb/arb.jl:90 [inlined]
    [7] BigComplex(r::AcbFieldElem)
      @ Hecke ~/.julia/packages/Hecke/fQ8H5/src/HeckeTypes.jl:1285
    [8] conjugates_init(f_in::QQPolyRingElem)
      @ Hecke ~/.julia/packages/Hecke/fQ8H5/src/conjugates.jl:22
    [9] class_group_init(FB::Hecke.NfFactorBase, T::DataType; add_rels::Bool, use_aut::Bool)
      @ Hecke ~/.julia/packages/Hecke/fQ8H5/src/NumFieldOrd/NfOrd/Clgp/Ctx.jl:67
   [10] class_group_init
      @ ~/.julia/packages/Hecke/fQ8H5/src/NumFieldOrd/NfOrd/Clgp/Ctx.jl:52 [inlined]
   [11] class_group_init(O::AbsSimpleNumFieldOrder, B::Int64; min_size::Int64, add_rels::Bool, use_aut::Bool, complete::Bool, degree_limit::Int64, T::DataType)
      @ Hecke ~/.julia/packages/Hecke/fQ8H5/src/NumFieldOrd/NfOrd/Clgp/Ctx.jl:134
   [12] class_group_init
      @ ~/.julia/packages/Hecke/fQ8H5/src/NumFieldOrd/NfOrd/Clgp/Ctx.jl:117 [inlined]
   [13] class_group_ctx(O::AbsSimpleNumFieldOrder; bound::Int64, method::Int64, large::Int64, redo::Bool, use_aut::Bool)
      @ Hecke ~/.julia/packages/Hecke/fQ8H5/src/NumFieldOrd/NfOrd/Clgp.jl:103
   [14] class_group_ctx
      @ ~/.julia/packages/Hecke/fQ8H5/src/NumFieldOrd/NfOrd/Clgp.jl:89 [inlined]
   [15] _class_unit_group(O::AbsSimpleNumFieldOrder; saturate_at_2::Bool, bound::Int64, method::Int64, large::Int64, redo::Bool, unit_method::Int64, use_aut::Bool, GRH::Bool)
      @ Hecke ~/.julia/packages/Hecke/fQ8H5/src/NumFieldOrd/NfOrd/Clgp.jl:212
   [16] _class_unit_group
      @ ~/.julia/packages/Hecke/fQ8H5/src/NumFieldOrd/NfOrd/Clgp.jl:207 [inlined]
   [17] _unit_group_maximal(O::AbsSimpleNumFieldOrder; method::Int64, unit_method::Int64, use_aut::Bool, GRH::Bool)
      @ Hecke ~/.julia/packages/Hecke/fQ8H5/src/NumFieldOrd/NfOrd/Clgp.jl:454
   [18] _unit_group_maximal
      @ ~/.julia/packages/Hecke/fQ8H5/src/NumFieldOrd/NfOrd/Clgp.jl:453 [inlined]
   [19] unit_group(O::AbsSimpleNumFieldOrder; method::Int64, unit_method::Int64, use_aut::Bool, GRH::Bool)
      @ Hecke ~/.julia/packages/Hecke/fQ8H5/src/NumFieldOrd/NfOrd/Clgp.jl:470
   [20] unit_group
      @ ~/.julia/packages/Hecke/fQ8H5/src/NumFieldOrd/NfOrd/Clgp.jl:468 [inlined]
   [21] _non_norm_rep(E::Hecke.RelSimpleNumField{AbsSimpleNumFieldElem}, K::AbsSimpleNumField, p::AbsSimpleNumFieldOrderIdeal)
      @ Hecke ~/.julia/packages/Hecke/fQ8H5/src/QuadForm/Misc.jl:1062
   [22] _non_norm_rep
      @ ~/.julia/packages/Hecke/fQ8H5/src/QuadForm/Herm/Genus.jl:351 [inlined]
   [23] det_representative(G::HermLocalGenus{Hecke.RelSimpleNumField{AbsSimpleNumFieldElem}, AbsSimpleNumFieldOrderIdeal}, i::Int64)
      @ Hecke ~/.julia/packages/Hecke/fQ8H5/src/QuadForm/Herm/Genus.jl:464
   [24] gram_matrix(G::HermLocalGenus{Hecke.RelSimpleNumField{AbsSimpleNumFieldElem}, AbsSimpleNumFieldOrderIdeal}, l::Int64)
      @ Hecke ~/.julia/packages/Hecke/fQ8H5/src/QuadForm/Herm/Genus.jl:525
   [25] gram_matrix(G::HermLocalGenus{Hecke.RelSimpleNumField{AbsSimpleNumFieldElem}, AbsSimpleNumFieldOrderIdeal})
      @ Hecke ~/.julia/packages/Hecke/fQ8H5/src/QuadForm/Herm/Genus.jl:487
   [26] representative(G::HermLocalGenus{Hecke.RelSimpleNumField{AbsSimpleNumFieldElem}, AbsSimpleNumFieldOrderIdeal})
      @ Hecke ~/.julia/packages/Hecke/fQ8H5/src/QuadForm/Herm/Genus.jl:598
   [27] rescale
      @ ~/.julia/packages/Hecke/fQ8H5/src/QuadForm/Herm/Genus.jl:1896 [inlined]
   [28] rescale(G::HermGenus{Hecke.RelSimpleNumField{AbsSimpleNumFieldElem}, AbsSimpleNumFieldOrderIdeal, HermLocalGenus{Hecke.RelSimpleNumField{AbsSimpleNumFieldElem}, AbsSimpleNumFieldOrderIdeal}, Dict{InfPlc{AbsSimpleNumField, AbsSimpleNumFieldEmbedding}, Int64}}, a::ZZRingElem)
      @ Hecke ~/.julia/packages/Hecke/fQ8H5/src/QuadForm/Herm/Genus.jl:1915
   [29] representative(G::HermGenus{Hecke.RelSimpleNumField{AbsSimpleNumFieldElem}, AbsSimpleNumFieldOrderIdeal, HermLocalGenus{Hecke.RelSimpleNumField{AbsSimpleNumFieldElem}, AbsSimpleNumFieldOrderIdeal}, Dict{InfPlc{AbsSimpleNumField, AbsSimpleNumFieldEmbedding}, Int64}})
      @ Hecke ~/.julia/packages/Hecke/fQ8H5/src/QuadForm/Herm/Genus.jl:1646
   [30] representatives_of_hermitian_type(G::ZZGenus, chi::ZZPolyRingElem, fix_root::Bool; first::Bool)
      @ Oscar ~/work/Oscar.jl/Oscar.jl/experimental/QuadFormAndIsom/src/enumeration.jl:648
   [31] representatives_of_hermitian_type
      @ ~/work/Oscar.jl/Oscar.jl/experimental/QuadFormAndIsom/src/enumeration.jl:555 [inlined]
   [32] representatives_of_hermitian_type
      @ ~/work/Oscar.jl/Oscar.jl/experimental/QuadFormAndIsom/src/enumeration.jl:[534](https://github.com/oscar-system/Oscar.jl/actions/runs/11905577520/job/33176301244#step:10:537) [inlined]
   [33] splitting_of_hermitian_prime_power(Lf::ZZLatWithIsom, p::Int64; b::Int64, pA::Int64, nA::Int64, pB::Int64, nB::Int64, fix_root::Bool)
      @ Oscar ~/work/Oscar.jl/Oscar.jl/experimental/QuadFormAndIsom/src/enumeration.jl:730
   [34] splitting_of_hermitian_prime_power
      @ ~/work/Oscar.jl/Oscar.jl/experimental/QuadFormAndIsom/src/enumeration.jl:703 [inlined]
   [35] splitting_of_prime_power(Lf::ZZLatWithIsom, p::Int64, b::Int64; p_inv::Int64, n_inv::Int64, pB::Int64, nB::Int64, fix_root::Bool)
      @ Oscar ~/work/Oscar.jl/Oscar.jl/experimental/QuadFormAndIsom/src/enumeration.jl:800
   [36] splitting_of_prime_power
      @ ~/work/Oscar.jl/Oscar.jl/experimental/QuadFormAndIsom/src/enumeration.jl:774 [inlined]
   [37] enumerate_prime_power_isometries(L::ZZLat, q::Int64, vq::Int64)
      @ Oscar ~/work/Oscar.jl/Oscar.jl/experimental/QuadFormAndIsom/src/enumeration.jl:1045
   [38] enumerate_classes_of_lattices_with_isometry(L::ZZLat, order::Int64)
      @ Oscar ~/work/Oscar.jl/Oscar.jl/experimental/QuadFormAndIsom/src/enumeration.jl:1013
   [39] top-level scope
      @ ~/work/Oscar.jl/Oscar.jl/experimental/QuadFormAndIsom/test/runtests.jl:242
   [40] macro expansion
      @ /opt/hostedtoolcache/julia/nightly/x64/share/julia/stdlib/v1.12/Test/src/Test.jl:1700 [inlined]
   [41] macro expansion
      @ ~/work/Oscar.jl/Oscar.jl/experimental/QuadFormAndIsom/test/runtests.jl:270 [inlined]
   [42] macro expansion
      @ /opt/hostedtoolcache/julia/nightly/x64/share/julia/stdlib/v1.12/Test/src/Test.jl:676 [inlined]

[lgoettgens]

closing in favor of thofma/Hecke.jl#1687 as this seems to be due to Hecke.