fix: RefinedTypeOps#apply macro dealiasing (#285)

Fix for [284](#284).
Iltotore · Feb 4, 2025 · 0502840 · 0502840
1 parent 1609d0c
commit 0502840
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/main/src/io/github/iltotore/iron/macros/package.scala b/main/src/io/github/iltotore/iron/macros/package.scala
@@ -78,7 +78,7 @@ def isIronTypeImpl[T: Type, C: Type](using Quotes): Expr[Boolean] =
   val implicationType = TypeRepr.of[Implication]
   val targetConstraintType = TypeRepr.of[C]
 
-  TypeRepr.of[T] match
+  TypeRepr.of[T].dealias match
     case AppliedType(tpe, List(baseType, constraintType)) if tpe =:= ironType =>
       Implicits.search(implicationType.appliedTo(List(constraintType, targetConstraintType))) match
         case _: ImplicitSearchSuccess => Expr(true)