Skip to content

Disallow constructor params from appearing in parent types for soundness#16664

Merged
sjrd merged 1 commit intoscala:mainfrom dotty-staging:i16270Jan 12, 2023
+63-18

Commits

Commits on Jan 11, 2023