Union references in TypedBody

Fixes #298
This commit is contained in:
Richard Feldman 2020-04-05 18:04:33 -04:00
parent 928d1bba6c
commit d99fda3845

View file

@ -892,6 +892,8 @@ fn canonicalize_pending_def<'a>(
let (mut loc_can_expr, can_output) = let (mut loc_can_expr, can_output) =
canonicalize_expr(env, var_store, scope, loc_expr.region, &loc_expr.value); canonicalize_expr(env, var_store, scope, loc_expr.region, &loc_expr.value);
output.references = output.references.union(can_output.references.clone());
// reset the tailcallable_symbol // reset the tailcallable_symbol
env.tailcallable_symbol = outer_identifier; env.tailcallable_symbol = outer_identifier;