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.
1 Like
Sukera
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
1 Like