From b45c337515414bbbbfd57117938bff1eb021d113 Mon Sep 17 00:00:00 2001 From: Christoffer Lerno Date: Tue, 22 Jul 2025 15:14:10 +0200 Subject: [PATCH] Contract fix. --- lib/std/core/mem.c3 | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/lib/std/core/mem.c3 b/lib/std/core/mem.c3 index a0ac91765..37bfc04f3 100644 --- a/lib/std/core/mem.c3 +++ b/lib/std/core/mem.c3 @@ -997,9 +997,10 @@ macro Type Volatile.set(&self, Type val) } <* - @require @constant_is_power_of_2(ALIGNMENT) : "The alignment must be a power of 2" + @require mem::@constant_is_power_of_2(ALIGNMENT) : "The alignment must be a power of 2" *> module std::core::mem::alignment { Type, ALIGNMENT }; +import std::core::mem @public; <* An AlignedRef offers correctly aligned access to addresses that may be unaligned or overaligned.