From 050284057191020c7a51c56762a109b442ee5f65 Mon Sep 17 00:00:00 2001 From: francistoth Date: Tue, 4 Feb 2025 08:24:24 -0500 Subject: [PATCH] fix: RefinedTypeOps#apply macro dealiasing (#285) Fix for [284](https://github.com/Iltotore/iron/issues/284). --- main/src/io/github/iltotore/iron/macros/package.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/main/src/io/github/iltotore/iron/macros/package.scala b/main/src/io/github/iltotore/iron/macros/package.scala index 0234a67..5d23015 100644 --- 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)