Expose more information in `get_body_with_borrowck_facts` - #111840

Merged

bors merged 6 commits into

rust-lang:masterfrom

voidc:borrowck-consumers

May 25, 2023

Commits on May 23, 2023

Allow consumers to retrieve borrowck output

JonasAlaif
authored and
voidc
committed
388071a
Return promoteds in BodyWithBorrowckFacts
voidc
committed
0e44a38
Make place helpers accessible
voidc
committed
ab9e703
Update obtain-borrowck test
voidc
committed
75e172e
Move BodyWithBorrowckFacts to consumers
voidc
committed
c6e3f27
Add RegionInferenceContext::outlives_constraints
voidc
committed
8dac074