Don't allow compiling optional values into non-optional ones.

1 files changed, 2 insertions, 0 deletions

diff --git a/src/typecheck.c b/src/typecheck.c
index ba30931e..d99048ff 100644
--- a/src/typecheck.c
+++ b/src/typecheck.c
@@ -1829,6 +1829,8 @@ PUREFUNC bool can_compile_to_type(env_t *env, ast_t *ast, type_t *needed)
             return ptr->is_stack && can_compile_to_type(env, Match(ast, StackReference)->value, ptr->pointed);
         else
             return can_promote(actual, needed);
+    } else if (actual->tag == OptionalType && needed->tag != OptionalType) {
+        return false;
     } else {
         return can_promote(actual, needed);
     }