feat: imply the open keyword when using a public function

noir-lang · Aug 31, 2023 · a906655 · a906655
1 parent 6728015
commit a906655
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/crates/noirc_frontend/src/hir/def_map/aztec_library.rs b/crates/noirc_frontend/src/hir/def_map/aztec_library.rs
@@ -212,8 +212,11 @@ fn transform_function(ty: &str, func: &mut NoirFunction) {
     func.def.return_visibility = Visibility::Public;
 
     // Distinct return types are only required for private functions
-    if ty == "Private" {
-        func.def.return_distinctness = Distinctness::Distinct;
+    // Public functions should have open auto-inferred
+    match ty {
+        "Private" => func.def.return_distinctness = Distinctness::Distinct,
+        "Public" => func.def.is_open = true,
+        _ => (),
     }
 }