Use note for pointing at bound introducing requirement#87668

Merged

bors merged 1 commit intorust-lang:masterfrom estebank:tweak-bound-output

Aug 17, 2021

+3,164-1,922

Commits on Aug 16, 2021

Use note to point at bound introducing requirement
estebank
committed