coderzbx
diff --git a/‎src/compiler/scala/tools/nsc/typechecker/Namers.scala
Lines changed: 1 addition & 0 deletions b/‎src/compiler/scala/tools/nsc/typechecker/Namers.scala
Lines changed: 1 addition & 0 deletions
diff --git a/‎test/files/neg/t3240.check
Lines changed: 0 additions & 4 deletions b/‎test/files/neg/t3240.check
Lines changed: 0 additions & 4 deletions
diff --git a/‎test/files/neg/t8217-local-alias-requires-rhs.check
Lines changed: 10 additions & 0 deletions b/‎test/files/neg/t8217-local-alias-requires-rhs.check
Lines changed: 10 additions & 0 deletions
diff --git a/‎test/files/neg/t8217-local-alias-requires-rhs.scala
Lines changed: 15 additions & 0 deletions b/‎test/files/neg/t8217-local-alias-requires-rhs.scala
Lines changed: 15 additions & 0 deletions
diff --git a/‎test/files/neg/t845.check
Lines changed: 0 additions & 4 deletions b/‎test/files/neg/t845.check
Lines changed: 0 additions & 4 deletions
diff --git a/‎test/files/neg/t3240.scala renamed to ‎test/files/pos/t3240.scala b/‎test/files/neg/t3240.scala renamed to ‎test/files/pos/t3240.scala
diff --git a/‎test/files/neg/t845.scala renamed to ‎test/files/pos/t845.scala b/‎test/files/neg/t845.scala renamed to ‎test/files/pos/t845.scala
@@ -1643,6 +1643,7 @@ trait Namers extends MethodSynthesis {
         def symbolAllowsDeferred = (
              sym.isValueParameter
           || sym.isTypeParameterOrSkolem
+          || (sym.isAbstractType && sym.owner.isClass)
           || context.tree.isInstanceOf[ExistentialTypeTree]
         )
         // Does the symbol owner require no undefined members?
 
@@ -0,0 +1,10 @@
+t8217-local-alias-requires-rhs.scala:6: error: only classes can have declared but undefined members
+    type B
+         ^
+t8217-local-alias-requires-rhs.scala:3: error: only classes can have declared but undefined members
+    type A
+         ^
+t8217-local-alias-requires-rhs.scala:14: error: only classes can have declared but undefined members
+  def this(a: Any) = { this(); type C }
+                                    ^
+three errors found
@@ -0,0 +1,15 @@
+trait Alias {
+  def foo = {
+    type A
+  }
+  val bar = {
+    type B
+    object O {
+      type OK
+    }
+  }
+}
+
+class C {
+  def this(a: Any) = { this(); type C }
+}
Original file line number	Diff line number	Diff line change
`@@ -1643,6 +1643,7 @@ trait Namers extends MethodSynthesis {`
`1643`	`1643`	`def symbolAllowsDeferred = (`
`1644`	`1644`	`sym.isValueParameter`
`1645`	`1645`	`\|\| sym.isTypeParameterOrSkolem`
	`1646`	`+ \|\| (sym.isAbstractType && sym.owner.isClass)`
`1646`	`1647`	`\|\| context.tree.isInstanceOf[ExistentialTypeTree]`
`1647`	`1648`	`)`
`1648`	`1649`	`// Does the symbol owner require no undefined members?`