Rollup of 11 pull requests#80356

Closed

Dylan-DPC-zz wants to merge 33 commits intorust-lang:masterfrom

Dylan-DPC-zz:rollup-0pm9l2h

Commits on Dec 13, 2020

Refactored verbose print into a function
hencrice
committed

Commits on Dec 19, 2020

Remap instrument-coverage line numbers in doctests
Swatinem
committed

Commits on Dec 20, 2020

add an attribute to inner doctest fn
Swatinem
committed

Commits on Dec 24, 2020