I wonder if it’s possible run a function so that after running the function, all type instable functions will throw error, e.g. it looks into the
@code_warntypes, detects if there are any
Any and throw an error it does?
The user can suppress this with a
@allow_type_instabiliy function abc() ...
I was thinking this is a more efficient way to hunt for type instability and so we only mark functions that can have type instability with a macro.