Hide <...> defined here note if the source is not available#89233
Merged
bors merged 1 commit intorust-lang:masterfrom Sep 29, 2021
<...> defined here note if the source is not available#89233