Skip to main content

Module thir

Module thir 

Source
Expand description

Run a pre-mono THIR pass on the current crate. In THIR, all operator overloads have been resolved to a function call, but we still may have uninstantiated generic functions.

This exists to give useful diagnostics without having to wait all the way until monomorphization to give any feedback at all. This matters a lot for core, which has a bunch of generic functions.

This pass works an item-at-a-time, with little shared state.

Structsยง

LintThir ๐Ÿ”’

Functionsยง

contains_unknown_fn ๐Ÿ”’
Used to check whether a const or static has a function pointer callable at runtime.