[conv.rank] Change "size" to "width" in conversion rank relation#3675

zygoloid merged 2 commits intocplusplus:mastercplusplus/draft:masterfrom

tkoeppe:widthtkoeppe/draft:widthCopy head branch name to clipboard