Module mono_checks

This implements a single query, check_mono_fn, that gets fired for each monomorphization of all functions. This lets us implement monomorphization-time checks in a way that is friendly to incremental compilation.

Modules

• abi_check 🔒
  This module ensures that if a function’s ABI requires a particular target feature, that target feature is enabled both on the callee and all callers.
• move_check 🔒

Functions

• check_mono_item 🔒
• provide 🔒