From 0595270d9a24d94672235f8529e51281d3bfaa95 Mon Sep 17 00:00:00 2001 From: Christian Buttner Date: Fri, 25 Apr 2025 15:25:20 +0200 Subject: [PATCH] Fix `mem::copy_inline` compile. --- lib/std/core/mem.c3 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/std/core/mem.c3 b/lib/std/core/mem.c3 index e394e5183..f3d2dba6f 100644 --- a/lib/std/core/mem.c3 +++ b/lib/std/core/mem.c3 @@ -342,7 +342,7 @@ macro void copy(void* dst, void* src, usz len, usz $dst_align = 0, usz $src_alig @param $src_align : "the alignment of the destination if different from the default, 0 assumes the default" @param $is_volatile : "True if this copy should be treated as volatile, i.e. it can't be optimized away." - @require src != null || len == 0 : "Copying a null with non-zero length is invalid" + @require src != null || $len == 0 : "Copying a null with non-zero length is invalid" @require $len == 0 || dst + $len <= src || src + $len <= dst : "Ranges may not overlap" *> macro void copy_inline(void* dst, void* src, usz $len, usz $dst_align = 0, usz $src_align = 0, bool $is_volatile = false)