Merge pull request #13408 from dotty-staging/committed-ownedVars

Don't crash when calling gc() on a committed TyperState

Author: odersky

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

@@ -162,6 +162,7 @@ class TyperState() {
         targetState.mergeConstraintWith(this)
     targetState.gc()
     isCommitted = true
+    ownedVars = SimpleIdentitySet.empty
   }
 
   /** Ensure that this constraint does not associate different TypeVars for the

tests/neg/i13407.scala

@@ -0,0 +1,19 @@
+import scala.quoted.Type
+
+trait Tensor[S <: Tuple] {
+  def sum[Axis <: Shape: Type](axis: Axis): Tensor[S] = { // error
+    Tensor.mk
+  }
+}
+
+object Tensor {
+  def mk[S <: Tuple]: Tensor[S] = new Tensor {}
+}
+
+object Foo {
+  val t1: Tensor[("batch", "len", "embed")] = Tensor.mk
+   def foo(x: Any) = {
+
+  }
+  foo(foo(t1.sum("len"))) // error
+}