Skip to content

Instantly share code, notes, and snippets.

@shigemk2

shigemk2/28-164209.scala

Created August 28, 2015 08:00
Show Gist options
  • Save shigemk2/b4ce2e6ddf07193bd97f to your computer and use it in GitHub Desktop.
Save shigemk2/b4ce2e6ddf07193bd97f to your computer and use it in GitHub Desktop.
Download ZIP
Raw
28-164209.scala
class A {
class B
def f(b: B) = println("Got my B!")
}
val a1 = new A
println(a1)
val a2 = new A
println(a2)
a2.f(new a2.B)
// a2.f(new a1.B) // error: type mismatch
Raw
28-164456.scala
class A {
class B
def f(b: B) = println("Got my B!")
def g(b: A#B) = println("Got a B.")
}
val a1 = new A
println(a1)
val a2 = new A
println(a2)
a2.f(new a2.B)
// a2.f(new a1.B) // error: type mismatch
a2.g(new a1.B)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment