Review the data type compatibility rules
pavel-kirienko opened this issue · 0 comments
pavel-kirienko commented
Semantic compatibility is hard to determine automatically. Consider replacing semantic compatibility with a stricter alternative similar to polymorphic compatibility. This will make type punning impossible.