rustc_borrowck

Module polonius

source
Expand description

Functions dedicated to fact generation for the -Zpolonius=legacy datalog implementation.

Will be removed in the future, once the in-tree -Zpolonius=next implementation reaches feature parity.

Modulesยง

Functionsยง