From 25a445ef875b2e34bbe4e8239a8f7110b123b5f6 Mon Sep 17 00:00:00 2001 From: clhodapp Date: Fri, 14 Feb 2014 15:59:52 -0600 Subject: 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. --- test/files/neg/literate_existentials.check | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 test/files/neg/literate_existentials.check (limited to 'test/files/neg/literate_existentials.check') 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 -- cgit v1.2.3