1
77%
master: 77%

Ran 02 Feb 2023 11:55AM UTC

Files 387

Run time 20s

Badge

Embed ▾

Committed 02 Feb 2023 03:41AM UTC coverage: 92.977% (-0.2%) from 93.184%

Job # #37428.1

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

JuliaLang / julia / #37428 / 1
77%
master: 77%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #37428.1

JuliaLang / julia / #37428 / 1 77% master: 77%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #37428.1

JuliaLang / julia / #37428 / 1
77%
master: 77%

README BADGES
x