mirror of
https://github.com/rust-lang/rust.git
synced 2025-10-03 10:47:16 +00:00
371426334b
Merge unboxed trait object error suggestion into regular dyn incompat error Another hir-walker removed from the well-formed queries. This error was always a duplicate of another, but it was able to provide more information because it could invoke `is_dyn_compatible` without worrying about cycle errors. That's also the reason we can't put the error directly into hir_ty_lowering when lowering a `dyn Trait` within an associated item signature. So instead I packed it into the error handling of wf obligation checking.
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.