Add a comment

This commit is contained in:
Richard Feldman 2022-12-25 17:15:53 -05:00
parent e5c5ae3e3f
commit a663634e30
No known key found for this signature in database
GPG key ID: F1F21AA5B1D9E43B

View file

@ -4562,6 +4562,8 @@ fn build_header<'a>(
let module_name_str = loc_module_name.value.as_str();
let pq_module_name = PackageQualified::Unqualified(module_name_str.into());
// We should never change an entry here. Either we should have no entry,
// or if we do have one, it should be unchanged by this insertion.
debug_assert_eq!(
&module_id,
deps_by_name.get(&pq_module_name).unwrap_or(&module_id),
@ -4572,6 +4574,8 @@ fn build_header<'a>(
);
deps_by_name.insert(pq_module_name, module_id);
// We should never change an entry here. Either we should have no entry,
// or if we do have one, it should be unchanged by this insertion.
debug_assert_eq!(
&loc_module_name.region,
imported_modules.get(&module_id).unwrap_or(&loc_module_name.region),