Fix PCall.forceSubstitution (#865)

JonasAlaif · web-flow · commit e8020822a79c · 2025-04-22T11:05:03.000+02:00
diff --git a/src/main/scala/viper/silver/parser/ParseAst.scala b/src/main/scala/viper/silver/parser/ParseAst.scala
@@ -965,11 +965,6 @@ case class PCall(idnref: PIdnRef[PCallable], callArgs: PDelimited.Comma[PSym.Par
       case _ => ots
     }
     super.forceSubstitution(ts)
-    typeSubstitutions.clear()
-    typeSubstitutions += ts
-    typ = typ.substitute(ts)
-    assert(typ.isGround)
-    args.foreach(_.forceSubstitution(ts))
   }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -965,11 +965,6 @@ case class PCall(idnref: PIdnRef[PCallable], callArgs: PDelimited.Comma[PSym.Par`
`965`	`965`	`case _ => ots`
`966`	`966`	`}`
`967`	`967`	`super.forceSubstitution(ts)`
`968`		`- typeSubstitutions.clear()`
`969`		`- typeSubstitutions += ts`
`970`		`- typ = typ.substitute(ts)`
`971`		`- assert(typ.isGround)`
`972`		`- args.foreach(_.forceSubstitution(ts))`
`973`	`968`	`}`
`974`	`969`	`}`
`975`	`970`