Changes

Summary

Merge pull request #10010 from gasche/extension_constructor_scopes (commit: f3d9e18) (details)

Commit f3d9e18839a6e3a132d51b3446fe8eb523e636cc by gabriel.scherer Merge pull request #10010 from gasche/extension_constructor_scopes typing: fix the scope of extension constructor declarations (cherry picked from commit e6acde75863c7a4e52f948f87436a53a2fe50f42) (commit: f3d9e18)
The file was modified	testsuite/tests/typing-extensions/extensions.ml (diff)
The file was modified	typing/typedecl.ml (diff)
The file was modified	Changes (diff)