Allow parameter modes to be relaxed in type_argument#1756

Merged

riaqn merged 3 commits intoocaml-flambda:mainfrom lpw25:implicit-parameter-mode-coercion

Oct 17, 2023

+68-21

Commits on Oct 17, 2023

Allow parameter modes to be relaxed in type_argument

lpw25
authored and
riaqn
committed
fix tests
riaqn
committed
bootstrap
riaqn
committed