doc(trait param): state which rule is violated#8379

smarter merged 1 commit intoscala:masterscala/scala3:masterfrom

robstoll:patch-34robstoll/dotty:patch-34Copy head branch name to clipboard