I’ve been using that, but it seems that it doesn’t really check that all the code generated is type stable, just that the result is?
@inferred might pass just fine but @code_warntype can still show a whole lot of Union types. Maybe I need to be more specific in how I’m using it. It just seemed like there could be a general test of stability for a whole block of code, not just the result.