This commit adds basic support for paths in conditional cases. Conditionals are considered valid paths when all branches of execution that does not terminate execution yields the same path.
Details
info that couldn't fit into the summary
relevant details; tricky parts
anything else
Fixes full_issue_url
Notes for Reviewers
Right now this is for my own experimentation, so progress is gonna be slow as I play around with this.
Summary
This commit adds basic support for paths in conditional cases. Conditionals are considered valid paths when all branches of execution that does not terminate execution yields the same path.
Details
Fixes full_issue_url
Notes for Reviewers
Todo list: