use cairo_lang_debug::DebugWithDb;
use cairo_lang_semantic::test_utils::setup_test_function;
use cairo_lang_test_utils::parse_test_file::TestRunnerResult;
use cairo_lang_utils::Intern;
use cairo_lang_utils::ordered_hash_map::OrderedHashMap;
use crate::db::LoweringGroup;
use crate::fmt::LoweredFormatter;
use crate::ids::FunctionWithBodyLongId;
use crate::test_utils::LoweringDatabaseForTesting;
cairo_lang_test_utils::test_file_test!(
borrow_check,
"src/borrow_check/test_data",
{
borrow_check: "borrow_check",
closure: "closure",
},
test_borrow_check
);
fn test_borrow_check(
inputs: &OrderedHashMap<String, String>,
_args: &OrderedHashMap<String, String>,
) -> TestRunnerResult {
let db = &mut LoweringDatabaseForTesting::default();
let (test_function, semantic_diagnostics) = setup_test_function(db, inputs).split();
let lowering_diagnostics = db.module_lowering_diagnostics(test_function.module_id).unwrap();
let lowering = if let Ok(lowered) = db.function_with_body_lowering(
FunctionWithBodyLongId::Semantic(test_function.function_id).intern(db),
) {
format!(
"{:?}",
lowered.debug(&LoweredFormatter {
db,
variables: &lowered.variables,
include_usage_location: true
})
)
} else {
"".into()
};
TestRunnerResult::success(OrderedHashMap::from([
("semantic_diagnostics".into(), semantic_diagnostics),
("lowering".into(), lowering),
("lowering_diagnostics".into(), lowering_diagnostics.format(db)),
]))
}