Folks, I’m not sure this issue was correctly-resolved. My read of the issue description is that the issue here is that an AssertionError was thrown instead of a meaningful exception. It’s not clear why we need to accept this code, and accepting it requires we do something inconsistent in the type checking logic. But perhaps there was extra discussion of this issue elsewhere that I’ve missed. |