From 600feb2af815603c4c5b494373e1b376854b6801 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mateusz=20W=C3=B3jcik?= Date: Mon, 8 Jan 2024 09:23:47 +0100 Subject: [PATCH] Leftover --- main/src/io/github/iltotore/iron/conversion.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/main/src/io/github/iltotore/iron/conversion.scala b/main/src/io/github/iltotore/iron/conversion.scala index 2e0f19b3..4d9b3d09 100644 --- a/main/src/io/github/iltotore/iron/conversion.scala +++ b/main/src/io/github/iltotore/iron/conversion.scala @@ -87,7 +87,7 @@ extension [A, C1](value: A :| C1) * @param constraint the new constraint to test. * @return this value refined with `C1 & C2`. * @throws an [[IllegalArgumentException]] if the constraint is not satisfied. - * @see [[refine]]. + * @see [[refineUnsafe]]. */ inline def refineFurtherUnsafe[C2](using inline constraint: Constraint[A, C2]): A :| (C1 & C2) = (value: A).refineUnsafe[C2].assumeFurther[C1]