Merge pull request #2538 from dotty-staging/fix-#2527

Fix #2527

Author: nicolasstucki

compiler/src/dotty/tools/dotc/core/TypeOps.scala

@@ -346,6 +346,8 @@ trait TypeOps { this: Context => // TODO: Make standalone object.
             if (prevInfo == null) tp.refinedInfo else prevInfo & tp.refinedInfo)
           formals = formals.updated(name, tp1.typeParamNamed(name))
           normalizeToRef(tp1)
+        case tp @ RefinedType(tp1, _: TermName, _) =>
+            normalizeToRef(tp1)
         case _: ErrorType =>
           defn.AnyType
         case AnnotatedType(tpe, _) =>

tests/pos/i2527.scala

@@ -0,0 +1,3 @@
+object Foo {
+  val f: Function0[Int]{ def apply(): Int } = () => 42
+}

tests/pos/i2527b.scala

@@ -0,0 +1,18 @@
+class Base
+
+object Test {
+// OK
+val widen = {
+  class Inner extends Base
+  val f: () => Inner = { () => new Inner }
+  f()
+}
+
+// Crash
+val leak = {
+  class Inner extends Base
+  val f: (() => Inner){ def apply(): Inner } = { () => new Inner }
+  f()
+}
+
+}