feat!: disallow calling unconstrained functions outside of unsafe b…

…locks and passing unconstrained functions in place of constrained functions (#6938)
noir-lang · Jan 10, 2025 · 2732947 · 2732947
1 parent 65e1cba
commit 2732947
Show file tree

Hide file tree

Showing 4 changed files with 2 additions and 2 deletions.
diff --git a/...us/noir-lang/noir-edwards/.failures.jsonl → ...-edwards/.failures.jsonl.does_not_compile b/...us/noir-lang/noir-edwards/.failures.jsonl → ...-edwards/.failures.jsonl.does_not_compile
diff --git a/...oir-lang/noir_json_parser/.failures.jsonl → ...n_parser/.failures.jsonl.does_not_compile b/...oir-lang/noir_json_parser/.failures.jsonl → ...n_parser/.failures.jsonl.does_not_compile
diff --git a/...tatus/noir-lang/noir_sort/.failures.jsonl → ...oir_sort/.failures.jsonl.does_not_compile b/...tatus/noir-lang/noir_sort/.failures.jsonl → ...oir_sort/.failures.jsonl.does_not_compile
diff --git a/compiler/noirc_frontend/src/hir/type_check/errors.rs b/compiler/noirc_frontend/src/hir/type_check/errors.rs
@@ -496,10 +496,10 @@ impl<'a> From<&'a TypeCheckError> for Diagnostic {
                 Diagnostic::simple_error(msg.to_string(), "".to_string(), *span)
             },
             TypeCheckError::Unsafe { span } => {
-                Diagnostic::simple_warning(error.to_string(), String::new(), *span)
+                Diagnostic::simple_error(error.to_string(), String::new(), *span)
             }
             TypeCheckError::UnsafeFn { span } => {
-                Diagnostic::simple_warning(error.to_string(), String::new(), *span)
+                Diagnostic::simple_error(error.to_string(), String::new(), *span)
             }
             TypeCheckError::UnspecifiedType { span } => {
                 Diagnostic::simple_error(error.to_string(), String::new(), *span)