Export invalidation fails to happen properly (binding partitions)

[KristofferC]

At @Keno's request, broken out from #57328 since that is a bit of a meta issue.

Putting the following in a package:

module GeoParams
    module A
        module B
            using GeoParams
            export S
            struct S end
            module C
                using GeoParams
                h() = S() # commenting this line: ok
                x -> nothing # changing this to a non-anon function: ok
            end
        end
    end

    using .A.B
    export S # moving this export up above module A: ok
end

and calling

julia --project -e 'using GeoParams; @show GeoParams.A.B.C.S'

now fails with an UndefVar error about S not being defined.