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§