pointer field passthrough

2026-06-23 17:57:32 +02:00
parent 2f68fc966a
commit 18e2a96b76
2 changed files with 90 additions and 0 deletions
@@ -141,6 +141,9 @@
  - backing-type operators and reverse explicit conversions remain deferred
  - concrete runtime backing types are supported; unresolved, `int`, `void`, function, and opaque backings are rejected

+9. allow pointer field access pass-through (implemented)
+  - having a pointer (`ptr`) to a struct, we should allow access through `ptr.field` as opposed to mandating `ptr^.field`
+
 ## A word on multi-unwrap

 Unwrap multiple optionals with `and`. This **short-circuits**: if the first optional is none, subsequent expressions are not evaluated.