Module rustc_borrowck::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ยง