ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-26 19:51:52 +03:00
Code Issues Packages Projects Releases Wiki Activity

Update doc

Browse Source
This commit is contained in:
d0cd 2022-10-12 00:14:50 -05:00
parent 65f18fc7ea
commit 264e60c6ee
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
compiler/passes/src/static_single_assignment/rename_expression.rs
View File

@ -190,8 +190,10 @@ impl ExpressionConsumer for StaticSingleAssigner<'_> {
// Note that type checking guarantees that the above fields exist.
if struct_definition.is_record {
// Add the `owner` field.
// Note that the `unwrap` is safe, since type checking guarantees that the member exists.
reordered_members.push(member_map.remove(&sym::owner).unwrap());
// Add the `gates` field.
// Note that the `unwrap` is safe, since type checking guarantees that the member exists.
reordered_members.push(member_map.remove(&sym::gates).unwrap());
}
@ -200,6 +202,7 @@ impl ExpressionConsumer for StaticSingleAssigner<'_> {
// If the member is part of a record and it is `owner` or `gates`, then we have already added it.
if !(struct_definition.is_record && matches!(member.identifier.name, sym::owner | sym::gates)) {
// Lookup and push the member of the init expression.
// Note that the `unwrap` is safe, since type checking guarantees that the member exists.
reordered_members.push(member_map.remove(&member.identifier.name).unwrap());
}
}