Changes

Summary

Fix PR#7817: Unsound inclusion check for polymorphic variant (#9546) (commit: 1bb388b) (details)

Commit 1bb388bd1565c9f32ad00459a3ad86380c1e6de7 by noreply Fix PR#7817: Unsound inclusion check for polymorphic variant (#9546) (commit: 1bb388b)
The file was added	testsuite/tests/typing-polyvariants-bugs/pr7817_bad.ml
The file was modified	typing/ctype.ml (diff)
The file was modified	Changes (diff)