Start implementing the friendly front-end format #48
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Implement the friendlier front-end format described in issue #26 — destined to help create isolated tests without needing rustc NLL facts, but still generating the same data structure.
Still incomplete regarding
use
, which might requiredef
, and also that polonius compute liveness, to correctly emitregion_live_at
points. I'll open an issue for those specific points after this lands.Here's how it looks:
(Sorry about opening another PR, Github prevents reopening a PR in cases of force push, which I did for the rebases)
Note: This doesn't implement the requirements for the liveness computation described here #45 (comment)