#37428
26%

Ran 02 Feb 2023 11:55AM CUT

Jobs 1

Files 387

Run time 16s

Badge

Embed ▾

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

Jobs

ID	Job ID	Ran	Files	Coverage
1	#37428.1	02 Feb 2023 11:55AM CUT	387	92.98

Source Files on build #37428

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
0.0	stdlib/Pkg/src/Types.jl	68	1	0	1	0.0
9.09	stdlib/Pkg/src/REPLMode/REPLMode.jl	613	33	3	30	445.0 + 5
26.0	base/linking.jl	144	50	13	37	547.0 + 6
46.57	stdlib/Pkg/src/PlatformEngines.jl	533	204	95	109	120.0
51.06	stdlib/Pkg/src/Artifacts.jl	460	94	48	46	18.0
51.28	stdlib/REPL/src/TerminalMenus/util.jl	67	39	20	19	35.0
54.05	base/meta.jl	450	111 - 28	60 - 44	51 + 16	20256.0 + 8565
54.55	base/ttyhascolor.jl	27	11	6	5	5574.0 - 43
55.56	stdlib/Downloads/src/Curl/utils.jl	58	9	5	4	8397.0 + 36
61.5	base/compiler/ssair/verify.jl	299	187	115	72	2372346.0

100.0
/
91.9
base/
94.29
stdlib/

JuliaLang / julia / #37428
26%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #37428

JuliaLang / julia / #37428 26%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #37428

JuliaLang / julia / #37428
26%

README BADGES
x