#37428

pending completion

Build # #37428

Build Type

push

local

Committed by

web-flow

Commit Message

Subtype: avoid false alarm caused by eager `forall_exists_subtype`. (#48441)

* Avoid earsing `Runion` within nested `forall_exists_subtype`

If `Runion.more != 0` we‘d better not erase the local `Runion` as we need it if the subtyping fails after.

This commit replaces `forall_exists_subtype` with a local version.
It first tries `forall_exists_subtype` and estimates the "problem scale".
If subtyping fails and the scale looks small then it switches to the slow path.

TODO: At present, the "problem scale" only counts the number of checked `Lunion`s.
But perhaps we need a more accurate result (e.g. sum of `Runion.depth`)

* Change the reversed subtyping into a local check.

Make sure we don't forget the bound in `env`.
(And we can fuse `local_forall_exists_subtype`)

* Optimization for non-union invariant parameter.

Run Details

80943 of 87057 relevant lines covered (92.98%)

16852488.51 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

9.09

/stdlib/Pkg/src/REPLMode/REPLMode.jl

Source Not Available

The file "stdlib/Pkg/src/REPLMode/REPLMode.jl" isn't available on github. Either it's been removed, or the repo root directory needs to be updated.

JuliaLang / julia / #37428

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source Not Available

Source File
Press 'n' to go to next uncovered line, 'b' for previous