Fix match_same_arms false positive for arms with different comments
#15456
| Job | Run time |
|---|---|
| 51s | |
| 0s | |
| 0s | |
| 51s |
match_same_arms false positive for arms with different comments
#15456
| Job | Run time |
|---|---|
| 51s | |
| 0s | |
| 0s | |
| 51s |