Remove visit_subpats
parameter from check_pat
#60152
Merged
bors merged 1 commit intorust-lang:masterfrom Apr 23, 2019
stepnivlk:visit_subpats-removal
Commits
Commits on Apr 22, 2019
- committedTomas Koutsky