Update spec

This commit is contained in:
Nikita Lisitsa 2026-04-02 21:19:36 +03:00
parent 4545713bab
commit 42defff7d6

View file

@ -128,6 +128,9 @@ The only implicit casting allowed is T mut* -> T* (maybe?)
Any integer/floating-point types can be cast to each other.
Any pointer types can be cast to each other (TODO: alignment? UB or safe fallback? Probably UB.)
Ternary if operator:
if condition then true_value else false_value
Address:
&x // returns *T, fails if x is a const variable
&mut x // returns *mut T, fails if x is non-mut variable