Skip to content

Instantly share code, notes, and snippets.

@sofoklis

sofoklis/covariantExample.scala

Created January 16, 2013 20:17
Show Gist options
  • Save sofoklis/4550489 to your computer and use it in GitHub Desktop.
Save sofoklis/4550489 to your computer and use it in GitHub Desktop.
Download ZIP
Covariant example
Raw
covariantExample.scala
val covariantType1: CovariantType[String] = new CovariantType[String] // Allowed
val covariantType2: CovariantType[Any] = new CovariantType[String] // Allowed
val covariantType3: CovariantType[String] = new CovariantType[Any] // Compile error
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment