rr_frontend/translation/src/body/checked_op_analysis.rs

rr_frontend/translation/src/body/mod.rs

rr_frontend/translation/src/body/signature.rs

rr_frontend/translation/src/body/translator.rs

rr_frontend/translation/src/lib.rs

rr_frontend/translation/src/regions/arg_folder.rs

rr_frontend/translation/src/regions/assignment.rs

rr_frontend/translation/src/regions/inclusion_tracker.rs

rr_frontend/translation/src/regions/init.rs

rr_frontend/translation/src/regions/mod.rs

rr_frontend/translation/src/types/local.rs