diff options
author | Martin Odersky <odersky@gmail.com> | 2017-03-11 20:56:02 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2017-03-12 12:11:49 +0100 |
commit | fac74a618ae4666490cd8c7fd3f9604d877562d9 (patch) | |
tree | 6ceb2db2beb93a0faec2d46933362d9470ff4209 /tests/neg | |
parent | b2d3b8938391516e81f18962e67f5bacf0aa2440 (diff) | |
download | dotty-fac74a618ae4666490cd8c7fd3f9604d877562d9.tar.gz dotty-fac74a618ae4666490cd8c7fd3f9604d877562d9.tar.bz2 dotty-fac74a618ae4666490cd8c7fd3f9604d877562d9.zip |
Fix #1569: Improve avoidance algorithm
The essential change is that we do not throw away more
precise info of the avoided type if the expected type
is fully defined.
Diffstat (limited to 'tests/neg')
-rw-r--r-- | tests/neg/t1569-failedAvoid.scala | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/tests/neg/t1569-failedAvoid.scala b/tests/neg/t1569-failedAvoid.scala deleted file mode 100644 index 45bb96f36..000000000 --- a/tests/neg/t1569-failedAvoid.scala +++ /dev/null @@ -1,9 +0,0 @@ -// This was t1569.scala. -// It fails in dotty because the expected type of the anonymous function in the last line -// is fully determined (C). So that type is taken as the type of the anonymous function. -// See pos/t1569a.scala for related examples that work. -object Bug { - class C { type T } - def foo(x: Int)(y: C)(z: y.T): Unit = {} - foo(3)(new C { type T = String })("hello") // error -} |