Type Definition AllFacts
Other items inrustc_mir::borrow_check::facts
type AllFacts = PoloniusFacts<RustcFacts>;