From f4ab855b03e9fc0fac31018bf9383220d2399697 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Thu, 18 Aug 2016 09:08:34 +0200
Subject: Fixes in comparisons between singleton types

Needed to address problem shown by z1720.scala.
Another fix to avoidance is needed to make it pass completely.
---
 tests/pending/pos/z1720.scala | 16 ----------------
 1 file changed, 16 deletions(-)
 delete mode 100644 tests/pending/pos/z1720.scala

(limited to 'tests/pending')

diff --git a/tests/pending/pos/z1720.scala b/tests/pending/pos/z1720.scala
deleted file mode 100644
index 7394d428c..000000000
--- a/tests/pending/pos/z1720.scala
+++ /dev/null
@@ -1,16 +0,0 @@
-package test
-
-class Thing {
-  def info: Info[this.type] = InfoRepository.getInfo(this)
-  def info2: Info[this.type] = {
-    def self: this.type = this
-    InfoRepository.getInfo(self)
-  }
-}
-
-trait Info[T]
-case class InfoImpl[T](thing: T) extends Info[T]
-
-object InfoRepository {
-  def getInfo(t: Thing): Info[t.type] = InfoImpl(t)
-}
-- 
cgit v1.2.3