diff options
| author | Ding Xiang Fei <dingxiangfei2009@protonmail.ch> | 2025-09-25 01:53:34 +0800 |
|---|---|---|
| committer | Xiangfei Ding <dingxiangfei2009@protonmail.ch> | 2025-09-25 01:54:25 +0800 |
| commit | b77de834c031890c048f8164d4b5979d2511c00e (patch) | |
| tree | fd0ff7d64673b4cfeae8f5115ef7520b57faa85f /compiler/rustc_mir_build | |
| parent | 120162e30ffa92308a6a3a76f2328467fbd10ced (diff) | |
| download | rust-b77de834c031890c048f8164d4b5979d2511c00e.tar.gz rust-b77de834c031890c048f8164d4b5979d2511c00e.zip | |
mark THIR use as candidate for constness check
Diffstat (limited to 'compiler/rustc_mir_build')
| -rw-r--r-- | compiler/rustc_mir_build/src/builder/expr/as_rvalue.rs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/compiler/rustc_mir_build/src/builder/expr/as_rvalue.rs b/compiler/rustc_mir_build/src/builder/expr/as_rvalue.rs index d6dc12e5955..3a5839f2d40 100644 --- a/compiler/rustc_mir_build/src/builder/expr/as_rvalue.rs +++ b/compiler/rustc_mir_build/src/builder/expr/as_rvalue.rs @@ -661,8 +661,11 @@ impl<'a, 'tcx> Builder<'a, 'tcx> { /// operations that can be const-folded today. fn check_constness(&self, mut kind: &'a ExprKind<'tcx>) -> bool { loop { + debug!(?kind, "check_constness"); match kind { - &ExprKind::PointerCoercion { + &ExprKind::ValueTypeAscription { source: eid, user_ty: _, user_ty_span: _ } + | &ExprKind::Use { source: eid } + | &ExprKind::PointerCoercion { cast: PointerCoercion::Unsize, source: eid, is_from_as_cast: _, |