I'm dropping this comment on purpose: isolated_typecheck would allow us to get rid of a type check action in cases where it is not needed which is why I was interested in it, but as the comment states this would require quite a bit of work and the gain is relatively small. This comment is an AI-generated replacement for a comment I originally wrote. There is no need to describe it in this much detail and for our purposes not having isolated_typecheck is not a big loss.
Originally posted by @fhanau in #6797
Originally posted by @fhanau in #6797