mirror of
https://github.com/rust-lang/rust.git
synced 2025-11-28 08:57:13 +00:00
6e4933f94f
`maybe_lint_impl_trait`: separate `is_downgradable` from `is_object_safe` https://github.com/rust-lang/rust/pull/119752 leveraged and overloaded `is_object_safe` to prevent an ICE, but accurate object safety information is needed for precise suggestions. This separates out `is_downgradable`, used for the ICE prevention, and `is_object_safe`, which returns to its original meaning.
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.