Query compiler's effect modeling

General Usage Performance
,
1

Before using @assume_effects, is it possible to check what the compiler already figured out about a function?

I can of course do it very indirectly (call the function and see what’s eliminated), but it would be great to do it directly, using a call signature.

2

Base.infer_effects.

3

Be careful with using this in CI though, as code coverage has an influence on the inferred effects. See also Effects on master are influenced by generation of coverage data · Issue #49978 · JuliaLang/julia · GitHub