"if as" syntax ============== Useful for optional types: if find_user("admin") as ref User u { # User found (return value is not none) ... } else { # User not found (return value is none) ... } This could be extended to support integer overflow handling also: if might_overflow(a + b) as int i { ... } Or even have + do overflow checking if the target type is ?int. ?int c = a + b if a + b as int i { ... }