ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-27 02:24:15 +03:00
Code Issues Packages Projects Releases Wiki Activity

Fmt; clippy

Browse Source
This commit is contained in:
d0cd 2022-10-31 13:16:32 -07:00
parent e2170e0d55
commit b32bfba376
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
compiler/passes/src/type_checking/check_expressions.rs
View File

@ -145,8 +145,12 @@ impl<'a> ExpressionVisitor<'a> for TypeChecker<'a> {
// Case where `access.name` is a member of the struct.
Some(Member { type_, .. }) => {
// Check that the type of `access.name` is the same as `expected`.
return Some(self.assert_and_return_type(type_.clone(), expected, access.span()));
},
return Some(self.assert_and_return_type(
type_.clone(),
expected,
access.span(),
));
}
// Case where `access.name` is not a member of the struct.
None => {
self.emit_err(TypeCheckerError::invalid_struct_variable(