annotations are still optional

This commit is contained in:
Folkert 2023-07-24 22:18:58 +02:00
parent 126c3f1536
commit a7bf9bc639
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
2 changed files with 7 additions and 11 deletions

View file

@ -5646,7 +5646,6 @@ fn build_pending_specializations<'a>(
.get(&index)
.map(|(v, _)| v)
.copied()
.expect("toplevel definitions have an annotation")
};
// Add modules' decls to Procs
@ -5915,7 +5914,7 @@ fn build_pending_specializations<'a>(
procs_base.host_specializations.insert_host_exposed(
mono_env.subs,
LambdaName::no_niche(symbol),
Variable::NULL,
None,
expr_var,
);
}
@ -5987,7 +5986,7 @@ fn build_pending_specializations<'a>(
procs_base.host_specializations.insert_host_exposed(
mono_env.subs,
LambdaName::no_niche(symbol),
Variable::NULL,
None,
expr_var,
);
}