We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent ad73bf2 commit af0150aCopy full SHA for af0150a
compiler/src/dotty/tools/dotc/transform/init/Checker.scala
@@ -9,6 +9,7 @@ import ast.tpd
9
import dotty.tools.dotc.core._
10
import Contexts._
11
import Types._
12
+import Symbols._
13
14
import dotty.tools.dotc.transform._
15
import MegaPhase._
@@ -45,7 +46,7 @@ class Checker extends MiniPhase {
45
46
}
47
48
// A concrete class may not be instantiated if the self type is not satisfied
- if (instantiable) {
49
+ if (instantiable && cls.enclosingPackageClass != defn.StdLibPatchesPackage.moduleClass) {
50
implicit val state: Checking.State = Checking.State(
51
checked = Set.empty,
52
path = Vector.empty,
0 commit comments