diff options
author | Paul Phillips <paulp@improving.org> | 2013-01-14 23:29:51 -0800 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2013-01-26 11:19:37 -0800 |
commit | a8fe8292956f73db3b185bf29d6349f2eb1c3df8 (patch) | |
tree | 69a99d5db027bd8eccbe25ae0db003058f30e2ee /test/files/pos/kinds.scala | |
parent | 46e8eceecc5b5f6b49075550e54f035126fc256a (diff) | |
download | scala-a8fe8292956f73db3b185bf29d6349f2eb1c3df8.tar.gz scala-a8fe8292956f73db3b185bf29d6349f2eb1c3df8.tar.bz2 scala-a8fe8292956f73db3b185bf29d6349f2eb1c3df8.zip |
Add PolyType to Infer#normalize.
It arises when inferring the type of an overloaded call:
def g(s: String): String = s
def f: String = ???
def f[C](c: C): String = g(f)
Also refined warning when isHKSubType is called with
arguments which very likely were never meant to be compared.
Diffstat (limited to 'test/files/pos/kinds.scala')
-rw-r--r-- | test/files/pos/kinds.scala | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/test/files/pos/kinds.scala b/test/files/pos/kinds.scala new file mode 100644 index 0000000000..6d6da0c8b6 --- /dev/null +++ b/test/files/pos/kinds.scala @@ -0,0 +1,13 @@ +trait IllKind1 { + def g(s: String): String = s + def f: String = ??? + def f[C](c: C): String = g(f) +} + +trait IllKind2 { + def b1: Char = ??? + def b2: Byte = ??? + + def f1 = "abc" contains b1 + def f2 = "abc" contains b2 +} |