mirror of
https://github.com/rust-lang/rust.git
synced 2025-10-25 06:32:04 +00:00
6eed54a2c9
Remove deferred sized checks (make them eager)
Improves diagnostics spans... this doesn't seem to be the case anymore:
```rust
// Some additional `Sized` obligations badly affect type inference.
// These obligations are added in a later stage of typeck.
pub(super) deferred_sized_obligations:
RefCell<Vec<(Ty<'tcx>, Span, traits::ObligationCauseCode<'tcx>)>>,
```
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.