Type Definition rustc_mir::borrow_check::facts::AllFacts

type AllFacts = PoloniusFacts<RustcFacts>;