Matthias Krüger 13de583583
Rollup merge of #114505 - ouz-a:cleanup_mir, r=RalfJung
Add documentation to has_deref

Documentation of `has_deref` needed some polish to be more clear about where it should be used and what's it's purpose.

cc https://github.com/rust-lang/rust/issues/114401

r? `@RalfJung`
2023-08-06 17:26:29 +02:00
..
2023-07-19 09:59:12 +00:00
2023-07-10 20:46:01 -07:00
2022-10-23 10:09:44 +02:00
2023-07-10 20:46:01 -07:00