Rollup merge of #73341 - jonas-schievink:matchdoc, r=davidtwco

_match.rs: fix module doc comment

It was applied to a `use` item, not to the module