Skip to main content

check_prelude_agrees

atune_dev::generators::catalog

Function check_prelude_agrees 

fn check_prelude_agrees(
    lib: &SourceFile,
    modules: &BTreeMap<String, Vec<Export>>,
) -> Result<(), Error>
Expand description

Invariant 3: the prelude may not name anything the crate root does not.

§Errors

Error::Unclassifiable naming the name. The crate root’s own comment says it “carries exactly the prelude’s own names (minus Arc)”; this is that sentence, enforced.