Fix immutable `context` to `any` assignment #214

1 files changed, 8 insertions, 4 deletions

diff --git a/src/check_expr.cpp b/src/check_expr.cpp
index c2ca5471a..9168bdad8 100644
--- a/src/check_expr.cpp
+++ b/src/check_expr.cpp
@@ -565,9 +565,13 @@ i64 check_distance_between_types(Checker *c, Operand *operand, Type *type) {
 
 	if (is_type_any(dst)) {
 		if (!is_type_polymorphic(src)) {
-			// NOTE(bill): Anything can cast to 'Any'
-			add_type_info_type(c, s);
-			return 10;
+			if (operand->mode == Addressing_Immutable && operand->type == t_context) {
+				return -1;
+			} else {
+				// NOTE(bill): Anything can cast to 'Any'
+				add_type_info_type(c, s);
+				return 10;
+			}
 		}
 	}
 
@@ -5126,7 +5130,7 @@ ExprKind check_expr_base_internal(Checker *c, Operand *o, AstNode *node, Type *t
 			}
 
 			init_preload(c);
-			o->mode = Addressing_Value;
+			o->mode = Addressing_Immutable;
 			o->type = t_context;
 			break;