language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-12-23 08:48:03 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 8

Loudly complain if an invariant is violated

Browse source
This commit is contained in:
Richard Feldman 2025-10-31 10:54:20 -04:00
parent a283124cf9
commit 333888991a
No known key found for this signature in database
1 changed files with 3 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

13
src/check/Check.zig
View file

@ -3688,7 +3688,6 @@ fn resolveVarFromExternal(
// The idx of the expression in the other module
const target_node_idx = @as(CIR.Node.Idx, @enumFromInt(node_idx));
// Check if we've already copied this import
const cache_key = ImportCacheKey{
.module_idx = module_idx,
@ -3702,22 +3701,16 @@ fn resolveVarFromExternal(
// First time importing this type - copy it and cache the result
const imported_var = @as(Var, @enumFromInt(@intFromEnum(target_node_idx)));
// Check if this var is in range
if (@intFromEnum(imported_var) >= other_module_env.types.len()) {
break :blk null;
}
// Every node should have a corresponding type entry
std.debug.assert(@intFromEnum(imported_var) < other_module_env.types.len());
const new_copy = try self.copyVar(imported_var, other_module_env, null);
try self.import_cache.put(self.gpa, cache_key, new_copy);
break :blk new_copy;
};
if (copied_var == null) {
return null;
}
return .{
.local_var = copied_var.?,
.local_var = copied_var,
.other_cir_node_idx = target_node_idx,
.other_cir = other_module_env,
};