Force type stability (over block of code)

Hi Julianners,
I saw many attempt on type table block.

@code_warntype to trace them.

But in the end I don’t find what is the way to force type stability over a specific block. I want the code to stop or do a warn message any time it uses Any or Any like types.

I want to make sure we don’t waste resources. Do you know something that forbid type instability?



JET.@test_opt can test that a function call is never hits dynamic dispatch, which is very close to what you are asking for.