Changes

Summary

Commit 058b5a7dbbe4210f5ab36825d2ebd9f7ae6bbbbb by vincent.laviron Remove leftover hacks for handling pattern constraints
The file was modified	lambda/matching.ml (diff)
The file was modified	typing/untypeast.ml (diff)
The file was modified	typing/typecore.ml (diff)
Commit 427de92544c7ddf655010f9afb702f26ff4a0862 by vincent.laviron Changes
The file was modified	Changes (diff)
Commit af3d875bbf7d32fb3010e4cd363ac92f86ded31b by vincent.laviron Add test
The file was modified	testsuite/tests/typing-misc/typecore_errors.ml (diff)