diff options
author | Guillaume Martres <smarter@ubuntu.com> | 2016-01-18 16:55:31 +0100 |
---|---|---|
committer | Guillaume Martres <smarter@ubuntu.com> | 2016-01-18 18:22:48 +0100 |
commit | 224232df2affa882c2c41fc8a6730ad7fc049679 (patch) | |
tree | a49dfa96f7e99c0b18bc5053b823b141ed2ded96 /tests | |
parent | 06e18c6e7761c458b33af3471f013a4dd3cee3f1 (diff) | |
download | dotty-224232df2affa882c2c41fc8a6730ad7fc049679.tar.gz dotty-224232df2affa882c2c41fc8a6730ad7fc049679.tar.bz2 dotty-224232df2affa882c2c41fc8a6730ad7fc049679.zip |
Check AppliedTypeTrees bounds inside AppliedTypeTree
Diffstat (limited to 'tests')
-rw-r--r-- | tests/neg/nested_bounds.scala | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/neg/nested_bounds.scala b/tests/neg/nested_bounds.scala new file mode 100644 index 000000000..ee6c67c0e --- /dev/null +++ b/tests/neg/nested_bounds.scala @@ -0,0 +1,5 @@ +class OnlyInt[T <: Int] + +object Test { + type T = List[OnlyInt[String]] // error: Type argument String does not conform to upper bound Int +} |