Bill 880ecda73e Step 64 TDD test: Memory annotation validation ...

Tests AnnotationValidator: valid @Reclaim(Tracing) passes,
@Deallocate(Explicit) without dealloc -> Missing Intent error,
@Owner(Single) aliasing -> error, conflicting parent/child annotations,
and valid @Lifetime(RAII) passes.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

2026-02-07 08:28:18 -07:00

6.9 KiB

Raw Blame History

View Raw