diff options
author | Lukas Rytz <lukas.rytz@typesafe.com> | 2015-10-05 14:17:29 +0200 |
---|---|---|
committer | Lukas Rytz <lukas.rytz@typesafe.com> | 2015-10-05 14:17:29 +0200 |
commit | 4cbf89fa4408942ca38815e946f1e02ab913c3ad (patch) | |
tree | b1fc98841d6c26171221e66a5d659b39d856bf65 /test/files/run/t7850c.scala | |
parent | c3906917675b54e9ac1f248c9fb0fba9fa310f0e (diff) | |
parent | e6917ac758e782fa03b6912a3feb8f9f8d0950a9 (diff) | |
download | scala-4cbf89fa4408942ca38815e946f1e02ab913c3ad.tar.gz scala-4cbf89fa4408942ca38815e946f1e02ab913c3ad.tar.bz2 scala-4cbf89fa4408942ca38815e946f1e02ab913c3ad.zip |
Merge pull request #4784 from lrytz/merge-2.11-to-2.12-oct-5v2.12.0-M3
Merge 2.11 to 2.12 oct 5
Diffstat (limited to 'test/files/run/t7850c.scala')
-rw-r--r-- | test/files/run/t7850c.scala | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/test/files/run/t7850c.scala b/test/files/run/t7850c.scala new file mode 100644 index 0000000000..25b9c0028d --- /dev/null +++ b/test/files/run/t7850c.scala @@ -0,0 +1,11 @@ +// Testing that isEmpty and get are viewed with `memberType` from `Casey1`. +trait T[A, B >: Null] { def isEmpty: A = false.asInstanceOf[A]; def get: B = null} +class Casey1() extends T[Boolean, String] +object Casey1 { def unapply(a: Casey1) = a } + +object Test { + def main(args: Array[String]) { + val c @ Casey1(x) = new Casey1() + assert(x == c.get) + } +} |