Feature specification of #3090, allowing an inline class to implement its representation type#3138

Closed

eernstg wants to merge 16 commits intomainfrom specify_inline_implements_rep_jun23

+395

Commits on Jun 9, 2023

Commits on Jun 12, 2023

Commits on Jun 13, 2023

Added error for implements X; we may enable that later, but for now it is an error
eernstg
committed
Add rule about non-error for implements B where B is a non-inline class which is sealed/base/final
eernstg
committed
Add errors for multiple occurrences of the same class in the superinterface graph with different type arguments
eernstg
committed

Commits on Jun 16, 2023

Removed special case for non-inline superinterfaces (where we allowed more than normal classes can do)
eernstg
committed

Commits on Jul 6, 2023

Review response
eernstg
committed