Update compiler/src/dotty/tools/dotc/typer/Typer.scala

Co-authored-by: Guillaume Martres <[email protected]>

Author: abgruszecki

compiler/src/dotty/tools/dotc/typer/Typer.scala

@@ -67,7 +67,7 @@ object Typer {
       assert(tree.span.exists, i"position not set for $tree # ${tree.uniqueId} of ${tree.getClass} in ${tree.source}")
 
   /** An attachment for GADT constraints that were inferred for a pattern. */
-  val InferredGadtConstraints = new Property.Key[core.GadtConstraint]
+  val InferredGadtConstraints = new Property.StickyKey[core.GadtConstraint]
 
   /** A context property that indicates the owner of any expressions to be typed in the context
    *  if that owner is different from the context's owner. Typically, a context with a class