Closed
Description
The following example taken from docs failed to type check:
trait Entry { type Key; val key: Key }
def extractKey(e: Entry): e.Key = e.key
val extractor: (e: Entry) => e.Key = extractKey
with error:
33 | val extractor: (e: Entry) => e.Key = extractKey
| ^^^^^^^^^^
| missing arguments for method extractKey