diff --git a/tl.tl b/tl.tl index 097316383..b4345e390 100644 --- a/tl.tl +++ b/tl.tl @@ -7081,6 +7081,7 @@ tl.type_check = function(ast: Node, opts: TypeCheckOptions): Result, string end local t1r = resolve_tuple_and_nominal(t1) local t2r = resolve_tuple_and_nominal(t2) + if is_record_type(t1r) and is_record_type(t2r) then return same, err else