shishantbiswas/c3c
1
1
Fork 0
mirror of https://github.com/c3lang/c3c.git synced 2026-02-27 12:01:16 +00:00
Code Issues Packages Projects Releases Wiki Activity

Deprecation of @assignable_to

Browse Source
This commit is contained in:
Christoffer Lerno
2025-08-26 13:21:42 +02:00
parent 1634217fc4
commit cb17cfff7d
18 changed files with 46 additions and 37 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
lib/std/core/refcount.c3
View File

@@ -21,7 +21,7 @@ fn Ref wrap(Type* ptr, Allocator allocator = mem)
}
<*
@require $vacount < 2 : "Too many arguments."
@require $vacount == 0 ||| @assignable_to($vaexpr[0], Type) : "The first argument must be an initializer for the type"
@require $vacount == 0 ||| $defined(Type a = $vaexpr[0]) : "The first argument must be an initializer for the type"
*>
macro Ref new(..., Allocator allocator = mem)
{
@@ -99,7 +99,7 @@ struct RefCounted
}
<*
@require @assignable_to(refcounted, RefCounted*) : "Expected a ref counted value"
@require $defined(RefCounted* c = refcounted) : "Expected a ref counted value"
*>
macro retain(refcounted)
{
@@ -112,7 +112,7 @@ macro retain(refcounted)
}
<*
@require @assignable_to(refcounted, RefCounted*) : "Expected a ref counted value"
@require $defined(RefCounted* c = refcounted) : "Expected a ref counted value"
@require !$defined(refcounted.dealloc()) ||| @typeis(refcounted.dealloc(), void)
: "Expected refcounted type to have a valid dealloc"
*>