mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

never is trivially const-drop, and add test

Browse Source
This commit is contained in:
Michael Goulet 2022-01-19 12:59:28 -08:00
parent 0eccd5feef
commit 8547f5732c
2 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
compiler/rustc_middle/src/ty/util.rs
View File

@ -1054,7 +1054,8 @@ pub fn trivial_const_drop<'tcx>(ty: Ty<'tcx>) -> bool {
| ty::RawPtr(_) | ty::RawPtr(_)
| ty::Ref(..) | ty::Ref(..)
| ty::FnDef(..) | ty::FnDef(..)
| ty::FnPtr(_) => true, | ty::FnPtr(_)
| ty::Never => true,
ty::Opaque(..) ty::Opaque(..)
| ty::Dynamic(..) | ty::Dynamic(..)
@ -1062,7 +1063,6 @@ pub fn trivial_const_drop<'tcx>(ty: Ty<'tcx>) -> bool {
| ty::Bound(..) | ty::Bound(..)
| ty::Param(_) | ty::Param(_)
| ty::Placeholder(_) | ty::Placeholder(_)
| ty::Never
| ty::Foreign(_) | ty::Foreign(_)
| ty::Projection(_) | ty::Projection(_)
| ty::Infer(_) => false, | ty::Infer(_) => false,

2
src/test/ui/rfc-2632-const-trait-impl/const-drop.rs
View File

@ -3,6 +3,7 @@
#![feature(const_trait_impl)] #![feature(const_trait_impl)]
#![feature(const_fn_trait_bound)] #![feature(const_fn_trait_bound)]
#![feature(const_mut_refs)] #![feature(const_mut_refs)]
#![feature(never_type)]
#![cfg_attr(precise, feature(const_precise_live_drops))] #![cfg_attr(precise, feature(const_precise_live_drops))]
struct S<'a>(&'a mut u8); struct S<'a>(&'a mut u8);
@ -77,6 +78,7 @@ fn drop(&mut self) {
&1, &1,
&1 as *const i32, &1 as *const i32,
ConstDropWithBound::<()>, ConstDropWithBound::<()>,
Result::<i32, !>::Ok(1),
} }
fn main() { fn main() {