The type schema for type inference of the operand of a
throw expression will be changed from
_ (the unknown type) to non-nullable
Object.
This change is expected to have very low impact on real-world code. But in principle it could cause changes in runtime behavior.
If this breaking change poses a severe problem, please leave comments in the linked issue.