Skip to content

Commit

Permalink
Auto merge of #65874 - Nadrieril:clarify-usefulness, r=<try>
Browse files Browse the repository at this point in the history 
Clarify pattern-matching usefulness algorithm

This PR clarifies a bit the usefulness algorithm by emphasizing that each row of the matrix can be seen as a sort of stack from which we pop constructors. It also moves code around to increase separation of concerns.

This is part of my splitting of #65160 into smaller PRs.
  • Loading branch information
@bors
bors committed Nov 1, 2019
2 parents 01e5d91 + a96d700 commit 994175f
Show file tree
Hide file tree
Showing 2 changed files with 1,047 additions and 798 deletions.
Loading

0 comments on commit 994175f

Please sign in to comment.