rustc: Comments only - explain the invariant about ty_err and ty_bot a little