style: Fix lint error in matching.rs a=lint-fix

CLOSED TREE
This commit is contained in:
Mihai Alexandru Michis 2020-11-17 14:48:54 +02:00 committed by Emilio Cobos Álvarez
parent a95ce79554
commit e9c1d490a9