chore: remove warnings field from DebugArtifact

tooling/debugger/src/context.rs

@@ -669,14 +669,13 @@
             outputs: vec![],
             predicate: None,
         }];
         let brillig_funcs = &vec![brillig_bytecode];
         let current_witness_index = 2;
         let circuit = &Circuit { current_witness_index, opcodes, ..Circuit::default() };
 
         let debug_symbols = vec![];
         let file_map = BTreeMap::new();
-        let warnings = vec![];
-        let debug_artifact = &DebugArtifact { debug_symbols, file_map, warnings };
+        let debug_artifact = &DebugArtifact { debug_symbols, file_map };
 
         let initial_witness = BTreeMap::from([(Witness(1), fe_1)]).into();
 
@@ -688,7 +687,7 @@
             debug_artifact,
             initial_witness,
             foreign_call_executor,
             brillig_funcs,
         );
 
         assert_eq!(context.get_current_opcode_location(), Some(OpcodeLocation::Acir(0)));
@@ -785,21 +784,20 @@
 
         let debug_symbols = vec![];
         let file_map = BTreeMap::new();
-        let warnings = vec![];
-        let debug_artifact = &DebugArtifact { debug_symbols, file_map, warnings };
+        let debug_artifact = &DebugArtifact { debug_symbols, file_map };
 
         let initial_witness = BTreeMap::from([(Witness(1), fe_1), (Witness(2), fe_1)]).into();
 
         let foreign_call_executor =
             Box::new(DefaultDebugForeignCallExecutor::from_artifact(true, debug_artifact));
         let brillig_funcs = &vec![brillig_bytecode];
         let mut context = DebugContext::new(
             &StubbedBlackBoxSolver,
             circuit,
             debug_artifact,
             initial_witness,
             foreign_call_executor,
             brillig_funcs,
         );
 
         // set breakpoint
@@ -843,9 +841,8 @@
             Opcode::AssertZero(Expression::default()),
         ];
         let circuit = Circuit { opcodes, ..Circuit::default() };
-        let debug_artifact =
-            DebugArtifact { debug_symbols: vec![], file_map: BTreeMap::new(), warnings: vec![] };
+        let debug_artifact = DebugArtifact { debug_symbols: vec![], file_map: BTreeMap::new() };
         let brillig_funcs = &vec![brillig_bytecode];
         let context = DebugContext::new(
             &StubbedBlackBoxSolver,
             &circuit,

tooling/debugger/src/dap.rs

@@ -608,11 +608,7 @@ pub fn run_session<R: Read, W: Write, B: BlackBoxFunctionSolver>(
     program: CompiledProgram,
     initial_witness: WitnessMap,
 ) -> Result<(), ServerError> {
-    let debug_artifact = DebugArtifact {
-        debug_symbols: program.debug,
-        file_map: program.file_map,
-        warnings: program.warnings,
-    };
+    let debug_artifact = DebugArtifact { debug_symbols: program.debug, file_map: program.file_map };
     let mut session = DapSession::new(
         server,
         solver,

tooling/nargo/Cargo.toml

@@ -15,7 +15,6 @@ fm.workspace = true
 noirc_abi.workspace = true
 noirc_driver.workspace = true
 noirc_errors.workspace = true
-noirc_evaluator.workspace = true
 noirc_frontend.workspace = true
 noirc_printable_type.workspace = true
 iter-extended.workspace = true

tooling/nargo/src/artifacts/debug.rs

@@ -1,7 +1,6 @@
 use codespan_reporting::files::{Error, Files, SimpleFile};
 use noirc_driver::{CompiledContract, CompiledProgram, DebugFile};
 use noirc_errors::{debug_info::DebugInfo, Location};
-use noirc_evaluator::errors::SsaReport;
 use serde::{Deserialize, Serialize};
 use std::{
     collections::{BTreeMap, BTreeSet},
@@ -18,7 +17,6 @@
 pub struct DebugArtifact {
     pub debug_symbols: Vec<DebugInfo>,
     pub file_map: BTreeMap<FileId, DebugFile>,
-    pub warnings: Vec<SsaReport>,
 }
 
 impl DebugArtifact {
@@ -45,7 +43,7 @@
             );
         }
 
-        Self { debug_symbols, file_map, warnings: Vec::new() }
+        Self { debug_symbols, file_map }
     }
 
     /// Given a location, returns its file's source code
@@ -121,11 +119,7 @@
 
 impl From<CompiledProgram> for DebugArtifact {
     fn from(compiled_program: CompiledProgram) -> Self {
-        DebugArtifact {
-            debug_symbols: compiled_program.debug,
-            file_map: compiled_program.file_map,
-            warnings: compiled_program.warnings,
-        }
+        DebugArtifact { debug_symbols: compiled_program.debug, file_map: compiled_program.file_map }
     }
 }
 
@@ -134,7 +128,6 @@
         DebugArtifact {
             debug_symbols: program_artifact.debug_symbols.debug_infos,
             file_map: program_artifact.file_map,
-            warnings: Vec::new(),
         }
     }
 }
@@ -147,11 +140,7 @@
             .flat_map(|contract_function| contract_function.debug)
             .collect();
 
-        DebugArtifact {
-            debug_symbols: all_functions_debug,
-            file_map: compiled_artifact.file_map,
-            warnings: compiled_artifact.warnings,
-        }
+        DebugArtifact { debug_symbols: all_functions_debug, file_map: compiled_artifact.file_map }
     }
 }
 
@@ -163,11 +152,7 @@
             .flat_map(|contract_function| contract_function.debug_symbols.debug_infos)
             .collect();
 
-        DebugArtifact {
-            debug_symbols: all_functions_debug,
-            file_map: compiled_artifact.file_map,
-            warnings: Vec::new(),
-        }
+        DebugArtifact { debug_symbols: all_functions_debug, file_map: compiled_artifact.file_map }
     }
 }
 
@@ -223,7 +208,7 @@
     // For example, given the snippet:
     // ```
     // permute(
     //    consts::x5_2_config(),
     //    state);
     // ```
     // We want location_in_line to return the range
@@ -232,7 +217,7 @@
     fn location_in_line_stops_at_end_of_line() {
         let source_code = r##"pub fn main(mut state: [Field; 2]) -> [Field; 2] {
     state = permute(
         consts::x5_2_config(),
         state);
 
     state
@@ -248,7 +233,7 @@
         // Location of
         // ```
         // permute(
         //      consts::x5_2_config(),
         //      state)
         // ```
         let loc = Location::new(Span::inclusive(63, 116), file_id);

tooling/nargo_cli/src/cli/debug_cmd.rs

@@ -224,7 +224,6 @@ pub(crate) fn debug_program(
     let debug_artifact = DebugArtifact {
         debug_symbols: compiled_program.debug.clone(),
         file_map: compiled_program.file_map.clone(),
-        warnings: compiled_program.warnings.clone(),
     };
 
     noir_debugger::debug_circuit(

tooling/nargo_cli/src/cli/execute_cmd.rs

@@ -124,7 +124,6 @@ pub(crate) fn execute_program(
             let debug_artifact = DebugArtifact {
                 debug_symbols: compiled_program.debug.clone(),
                 file_map: compiled_program.file_map.clone(),
-                warnings: compiled_program.warnings.clone(),
             };
 
             if let Some(diagnostic) =