Allow calling get_body_with_borrowck_facts
without -Z polonius
#88983
Merged
bors merged 2 commits intorust-lang:masterfrom Sep 16, 2021
get_body_with_borrowck_facts
without -Z polonius
#88983