fix: update has_public_inputs to account for databus

tooling/noirc_abi/src/lib.rs

@@ -197,7 +197,9 @@ impl Abi {
 
     /// Returns whether any values are needed to be made public for verification.
     pub fn has_public_inputs(&self) -> bool {
-        self.return_type.is_some() || self.parameters.iter().any(|param| param.is_public())
+        let has_public_args = self.parameters.iter().any(|param| param.is_public());
+        let has_public_return = self.return_type.as_ref().map_or(false, |typ| matches!(typ.visibility, AbiVisibility::Public));
+        has_public_args || has_public_return 
     }
 
     /// Returns `true` if the ABI contains no parameters or return value.