cleanup と Drop 方針

現在の stdlib では、所有権を持つ collection や buffer は明示的に解放する API を持っています。将来の Drop elaboration と Resource IR では、compiler が安全な解放経路を広げていく計画です。値引数のない new は typed local で Result Vec i32 StdErrorKind を明示し、明示 generic postfix に頼らずに要素型を決めます。

TESTstdionormalize_newlines

#entry main
#indent 4
#target std

#import "alloc/collections/vec" as *
#import "core/result" as *
#import "std/test" as *

fn main %impure fn void i32 \void:
    let created %Result Vec i32 StdErrorKind new
    match created:
        Result::Err _e:
            let checks checks_push checks_new Result::Err "vec.new failed"
            let shown checks_print_report checks
            checks_exit_code shown
        Result::Ok values:
            let checks:
                checks_new
                |> checks_push assert_eq_i32 0 len &values
            free values;
            let shown checks_print_report checks
            checks_exit_code shown

raw memory の確保や pointer 計算は通常の tutorial では扱いません。public API だけで書けない場合は、stdlib 側の抽象 API が不足している可能性があります。