allow anything expect TResource to coerce to TAnyValue without other …

…coercions
utwente-fmt · Oct 25, 2023 · bb99abc · bb99abc
1 parent da448ce
commit bb99abc
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/col/vct/col/typerules/CoercionUtils.scala b/src/col/vct/col/typerules/CoercionUtils.scala
@@ -20,6 +20,8 @@ case object CoercionUtils {
       case (TResourceVal(), TResource()) => CoerceResourceValResource()
       case (TBool(), TResource()) => CoerceBoolResource()
 
+      case (_, TAnyValue()) => CoerceSomethingAnyValue(source)
+
       case (source @ TOption(innerSource), target @ TOption(innerTarget)) =>
         CoerceMapOption(getCoercion(innerSource, innerTarget).getOrElse(return None), innerSource, innerTarget)
       case (source @ TTuple(Seq(leftSource, rightSource)), target @ TTuple(Seq(leftTarget, rightTarget))) =>