diff options
author | clhodapp <clhodapp1@gmail.com> | 2014-02-14 15:59:52 -0600 |
---|---|---|
committer | clhodapp <clhodapp1@gmail.com> | 2014-02-14 16:06:27 -0600 |
commit | 25a445ef875b2e34bbe4e8239a8f7110b123b5f6 (patch) | |
tree | c56e5c3b7e69600f207eccb3341e20b887d5b1f6 /test/files/neg/literate_existentials.check | |
parent | e86675f582ed8fef880f71744241f30e0d57a51c (diff) | |
download | scala-25a445ef875b2e34bbe4e8239a8f7110b123b5f6.tar.gz scala-25a445ef875b2e34bbe4e8239a8f7110b123b5f6.tar.bz2 scala-25a445ef875b2e34bbe4e8239a8f7110b123b5f6.zip |
Add an extremely well-commented test
This commit includes a test for some simple existential subtyping
checks. It is exceptionally well-commented and may be helpful to
someone trying to figure out what the rules are (supposed to be)
in the future.
Diffstat (limited to 'test/files/neg/literate_existentials.check')
-rw-r--r-- | test/files/neg/literate_existentials.check | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/files/neg/literate_existentials.check b/test/files/neg/literate_existentials.check new file mode 100644 index 0000000000..c98f976f79 --- /dev/null +++ b/test/files/neg/literate_existentials.check @@ -0,0 +1,4 @@ +literate_existentials.scala:189: error: Cannot prove that Int <:< M forSome { type M <: String }. + implicitly[Int <:< (M forSome { type M >: Nothing <: String })] // fails + ^ +one error found |