Leftover

Iltotore · Jan 8, 2024 · 600feb2 · 600feb2
1 parent 9d8ca23
commit 600feb2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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]