SHOW:
|
|
- or go back to the newest paste.
| 1 | // this is equivalent | |
| 2 | - | trait StringMapThing[override type Value] extends MapThing[String, Value] |
| 2 | + | |
| 3 | trait MapThing[type Key, type Value] | |
| 4 | trait StringMapThing[Value] extends MapThing[String, Value] | |
| 5 | class IntMapThing extends StringMapThing[Int] | |
| 6 | ||
| 7 | // to this | |
| 8 | ||
| 9 | trait MapThing {
| |
| 10 | type Key | |
| 11 | type Value | |
| 12 | } | |
| 13 | trait StringMapThing[override type Value] extends MapThing | |
| 14 | class IntMapThing extends StringMapThing[Int] |
