From 8d8fd269a5e798d4951041c2851ee3b7bd33185d Mon Sep 17 00:00:00 2001 From: Guillaume Martres Date: Wed, 23 Dec 2015 23:28:59 +0100 Subject: Fix #1009: Do not forget to skolemize some types --- tests/neg/skolemize.scala | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 tests/neg/skolemize.scala (limited to 'tests/neg/skolemize.scala') diff --git a/tests/neg/skolemize.scala b/tests/neg/skolemize.scala new file mode 100644 index 000000000..77045cfc4 --- /dev/null +++ b/tests/neg/skolemize.scala @@ -0,0 +1,13 @@ +class Inv[T] + +class Foo { + val foo: Inv[this.type] = new Inv[this.type] +} +object Test { + def test: Unit = { + val e1 = new Foo + val f1: Inv[Foo] = e1.foo // error + var e2 = new Foo + val f2: Inv[Foo] = e2.foo // error + } +} -- cgit v1.2.3