5d1d384443
Because the corresponding `Level` is `DelayedBug` and `span_delayed_bug` follows the pattern used everywhere else: `span_err`, `span_warning`, etc.
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.