Skip to content

Allow calling get_body_with_borrowck_facts without -Z polonius#88983

Merged
bors merged 2 commits into
rust-lang:masterfrom
willcrichton:allow-single-polonius-call
Sep 16, 2021
Merged

Allow calling get_body_with_borrowck_facts without -Z polonius#88983
bors merged 2 commits into
rust-lang:masterfrom
willcrichton:allow-single-polonius-call

Allow call to get_body_with_borrowck_facts without -Z polonius

47104a3
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs