Reminiscent of this thread, where I’ve just now also confirmed the effect where redefining a callee function causes the caller function to be inferred as type-unstable again. Test.@inferred is actually trickier than @code_warntype in that thread’s example, the order of running+compiling the callee and caller methods affects whether @inferred gets “stuck” reporting an instability, and the trick of redefining a method to “undo” its compilation can be used to fix that compilation order and make @inferred work.
1 Like