fixed bounds of <> constructor to avoid using dependent typing and .type that fail transparent inline mechanisms

Author: Oron Port

core/src/main/scala/dfhdl/core/Modifier.scala

@@ -47,21 +47,24 @@ object Modifier:
 
   given evPortVarConstructor[
       T <: DFType.Supported,
+      OT <: DFTypeAny,
       A,
       C,
       I,
       P,
+      SC <: DFC.Scope,
+      DT <: DomainType,
       M <: Modifier[A, C, I, P]
   ](using
-      tc: DFType.TC[T],
+      tc: DFType.TC.Aux[T, OT],
       checkLocal: AssertGiven[DFC.Scope.Local, "Port/Variable declarations cannot be global"],
-      ck: DFC.Scope,
-      dt: DomainType
+      ck: SC,
+      dt: DT
   ): ExactOp2Aux["<>", DFC, Any, T, M, DFVal[
-    tc.Type,
-    Modifier[A & ck.type & dt.type, C, I, P]
+    OT,
+    Modifier[A & SC & DT, C, I, P]
   ]] = new ExactOp2["<>", DFC, Any, T, M]:
-    type Out = DFVal[tc.Type, Modifier[A & ck.type & dt.type, C, I, P]]
+    type Out = DFVal[OT, Modifier[A & SC & DT, C, I, P]]
     def apply(t: T, modifier: M)(using DFC): Out = trydf {
       if (modifier.value.isPort)
         dfc.owner.asIR match
@@ -70,7 +73,7 @@ object Modifier:
             throw new IllegalArgumentException(
               "Ports can only be directly owned by a design, a domain or an interface."
             )
-      DFVal.Dcl(tc(t), modifier.asInstanceOf[Modifier[A & ck.type & dt.type, C, I, P]])
+      DFVal.Dcl(tc(t), modifier.asInstanceOf[Modifier[A & SC & DT, C, I, P]])
     }(using dfc, CTName("Port/Variable constructor"))
   end evPortVarConstructor
 end Modifier