We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 8dcd9aa commit 9f55efaCopy full SHA for 9f55efa
compiler/src/dotty/tools/dotc/core/GadtConstraint.scala
@@ -757,7 +757,12 @@ final class ProperGadtConstraint private(
757
758
// ---- Private ----------------------------------------------------------
759
760
- private def externalize(tp: Type, theMap: TypeMap | Null = null)(using Context): Type = tp match
+ /** Externalize the internal TypeParamRefs in the given type.
761
+ *
762
+ * We declare the method as `protected` instead of `private`, because declaring it as
763
+ * private will break a pickling test. This is a temporary workaround.
764
+ */
765
+ protected def externalize(tp: Type, theMap: TypeMap | Null = null)(using Context): Type = tp match
766
case param: TypeParamRef => reverseMapping(param) match
767
case sym: Symbol => sym.typeRef
768
case null =>
0 commit comments