Use latestworld-if-toplevel

[timholy]

Fixes #58

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 82.47%. Comparing base (6b5623a) to head (5f2bfcc).
Report is 1 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff             @@
##             main      #60      +/-   ##
==========================================
+ Coverage   81.72%   82.47%   +0.75%     
==========================================
  Files           3        3              
  Lines          93       97       +4     
==========================================
+ Hits           76       80       +4     
  Misses         17       17              

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[timholy]

@mortenpi @benlorenz note that the pattern used in your reports blocks effective precompilation. If you haven't followed, here's the issue: if you compile external (outside of the package, e.g., Base or whatever) code before you reach @compile_workload, it will not be cached. The problem is that your construct forces compilation of the anonymous function before @compile_workload turns on. Thus, any code not "owned" by your package that can't be inferrably traced back to a caller in your package will be dropped from the precompile cache.

As a guide to understanding the test, know that Base.inferencebarrier is used in NotPrecompiled to force runtime dispatch, so that the isa_bool specializations cannot be traced back to NotToplevel.

[timholy]

Also CC @jpthiele

[jpthiele]

I added this branch manually to my local nightly version and was able to precompile HTTP.

[jpthiele]

But switching @compile_workload and withenv fixes the problem as well, see JuliaWeb/HTTP.jl#1219

[timholy]

I've added a warning to the documentation about avoiding this withenv(...) do @compile_workload begin ... end end pattern. Even though it doesn't error in this PR, it's self-defeating.

In case someone gets to this before me, I've tagged this merge me.