Unexpected compile error using a typed constant with copysign #1517

lib/std/math/math.c3

@@ -264,7 +264,7 @@ macro clamp(x, lower, upper) => $$max(($typeof(x))lower, $$min(x, ($typeof(x))up
 
 /**
  * @require values::@is_promotable_to_floatlike(mag) `The input must be a number value or float vector`
- * @require values::@assign_to(sgn, values::promote_int(mag))
+ * @require $defined(($typeof(values::promote_int(mag)))mag) `It's not possible to cast the sign to the type of the magnitude`
  **/
 macro copysign(mag, sgn) => $$copysign(values::promote_int_same(mag, sgn), ($typeof(values::promote_int_same(mag, sgn)))sgn);
 

releasenotes.md

@@ -9,6 +9,7 @@
 
 ### Fixes
 - `Unsupported int[*] $x = { 1, 2, 3, 4 }` #1489.
+- Unexpected compile error using a typed constant with `copysign` #1517
 
 ### Stdlib changes
 - Remove unintended print of `char[]` as String