Rollup merge of #102204 - fee1-dead-contrib:manually-drop-trivially-drop, r=oli-obk

Make `ManuallyDrop` satisfy `~const Destruct`
This commit is contained in:
Matthias Krüger 2022-09-24 14:29:55 +02:00 committed by GitHub
commit 5fb41a6031
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1224,6 +1224,9 @@ impl<'cx, 'tcx> SelectionContext<'cx, 'tcx> {
| ty::Never | ty::Never
| ty::Foreign(_) => {} | ty::Foreign(_) => {}
// `ManuallyDrop` is trivially drop
ty::Adt(def, _) if Some(def.did()) == tcx.lang_items().manually_drop() => {}
// These types are built-in, so we can fast-track by registering // These types are built-in, so we can fast-track by registering
// nested predicates for their constituent type(s) // nested predicates for their constituent type(s)
ty::Array(ty, _) | ty::Slice(ty) => { ty::Array(ty, _) | ty::Slice(ty) => {