c145d93395
Don't compute trait super bounds unless they're positive Fixes #111207 The comment is modified to explain the rationale for why we even have this recursive call to supertraits in the first place, which doesn't apply to negative bounds since they don't elaborate at all.
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.