Address lints

This commit is contained in:
Ayaz Hafiz 2022-11-15 14:49:39 -06:00
parent c529505aef
commit f7bc3148ae
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

@ -2320,8 +2320,7 @@ impl RegisterVariable {
reserved
} else {
// for any other rank, we need to copy; it takes care of adjusting the rank
let copied = deep_copy_var_in(subs, rank, pools, reserved, arena);
copied
deep_copy_var_in(subs, rank, pools, reserved, arena)
};
// Safety: the `destination` will become the source-of-truth for the type index, since it
// was not already transformed before (if it was, we'd be in the Variable branch!)
@ -2462,7 +2461,7 @@ fn type_to_variable<'a>(
let typ = unsafe { types.emplace_variable($typ, var) };
stack.push(TypeToVar::Defer {
typ: typ,
typ,
typ_index: $typ,
destination: var,
ambient_function: $ambient_function_policy,