pub fn borrow_check(module_file_id: ModuleFileId, lowered: &mut FlatLowered)
Expand description

Report borrow checking diagnostics.