mirror of
https://github.com/rust-lang/rust.git
synced 2025-10-19 11:28:19 +00:00
6fca1a9259
Explicitly reject negative and reservation drop impls Fixes #110858 It doesn't really make sense for a type to have a `!Drop` impl. Or at least, I don't want us to implicitly assign a meaning to it by the way the compiler *currently* handles it (incompletely), and rather I would like to see a PR (or an RFC...) assign a meaning to `!Drop` if we actually wanted one for it.
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.