diff options
| author | Adriaan Moors <adriaan.moors@epfl.ch> | 2011-10-20 22:28:58 +0000 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2011-10-20 22:28:58 +0000 |
| commit | 8704ed2fc92e3d82287317fe34126c5d4d84e10c (patch) | |
| tree | 035a6d98a08e102ac6116e9048c36996d1af6a22 /test | |
| parent | 98b904db879a0b987d6ae50e5d5d990285ed8c59 (diff) | |
| download | scala-8704ed2fc92e3d82287317fe34126c5d4d84e10c.tar.gz scala-8704ed2fc92e3d82287317fe34126c5d4d84e10c.tar.bz2 scala-8704ed2fc92e3d82287317fe34126c5d4d84e10c.zip | |
infer singleton when asking for it
a type var's constraint now also tracks whether the type var was
compared to a stable type
if it was, we probably shouldn't widen the type argument that's inferred
for this var, as the result will surely fail to type check
NOTE: must be enabled using -Xexperimental
review by extempore
Diffstat (limited to 'test')
| -rw-r--r-- | test/files/pos/infersingle.flags | 1 | ||||
| -rw-r--r-- | test/files/pos/infersingle.scala | 5 |
2 files changed, 6 insertions, 0 deletions
diff --git a/test/files/pos/infersingle.flags b/test/files/pos/infersingle.flags new file mode 100644 index 0000000000..e1b37447c9 --- /dev/null +++ b/test/files/pos/infersingle.flags @@ -0,0 +1 @@ +-Xexperimental
\ No newline at end of file diff --git a/test/files/pos/infersingle.scala b/test/files/pos/infersingle.scala new file mode 100644 index 0000000000..6830fcd799 --- /dev/null +++ b/test/files/pos/infersingle.scala @@ -0,0 +1,5 @@ +object Test { + def one[T](x: T): Option[T] = Some(x) + val x = "one" + val y: Option[x.type] = one(x) +}
\ No newline at end of file |