Rollup merge of #51047 - spastorino:use_polonius_engine_facts, r=nikomatsakis

Use AllFacts from polonius-engine

diff --cc src/Cargo.lock
Simple merge

diff --cc src/librustc/Cargo.toml
Simple merge

diff --cc src/librustc/lib.rs
Simple merge

diff --cc src/librustc/ty/sty.rs
Simple merge

diff --cc src/tools/tidy/src/deps.rs
Simple merge