typecheck: validate aliased object field checks

2026-09-06 09:59:52 +00:00
parent a2dafadbf8
commit e111f46a1d
7 changed files with 35 additions and 4 deletions
@@ -2,6 +2,11 @@

 ## Unreleased

+### Object-alias field CHECK TYPE diagnostics
+
+- Added focused typecheck coverage for `CHECK TYPE alias.field IS TYPE` after a simple object alias.
+- `claro typecheck` now compares an aliased object's declared field type with the requested `CHECK TYPE` type.
+
 ### Nested container type validation

 - Added a focused nested-container typecheck example for adding a typed map to a typed list.