Update compiler/passes/src/type_checking/checker.rs

Co-authored-by: Alessandro Coglio <[email protected]> Signed-off-by: Collin Chin <[email protected]>
ProvableHQ · Jun 29, 2023 · afe4162 · afe4162
1 parent e995bc0
commit afe4162
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/compiler/passes/src/type_checking/checker.rs b/compiler/passes/src/type_checking/checker.rs
@@ -873,7 +873,7 @@ impl<'a> TypeChecker<'a> {
                 if let Some(mapping_type) = self.assert_mapping_type(&arguments[0].0, arguments[0].1) {
                     // Check that the second argument matches the key type of the mapping.
                     self.assert_type(&arguments[1].0, &mapping_type.key, arguments[1].1);
-                    // Return the mapping type.
+                    // Return nothing.
                     Some(Type::Unit)
                 } else {
                     None