Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Check that a self type T is closed. | Martin Odersky | 2015-07-06 | 1 | -0/+4 |
| | | | | | | | | What is checked: A self type T is a subtype of all selftypes of classes refernced by T. That is, a self type has to subsume all self types of its required type. Ot, otherwise said, requirements must be closed; you cannot discover new ones in following them. | ||||
* | Self type inheritance check | Martin Odersky | 2015-04-13 | 1 | -0/+28 |
Check that the self type of a class conforms to the self types of its parent classes. |