about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis
diff options
context:
space:
mode:
authorFolkert de Vries <folkert@folkertdev.nl>2025-09-16 20:20:02 +0200
committerFolkert de Vries <folkert@folkertdev.nl>2025-09-16 20:30:37 +0200
commit401857aaa1e21df49e0d013b9856ab6dbe34870b (patch)
tree0998d5d2df0b2824907085a2cfb3de2b882d7d3d /compiler/rustc_hir_analysis
parent8a1b39995e5b630c5872f5de5079f1f569bd5ac2 (diff)
downloadrust-401857aaa1e21df49e0d013b9856ab6dbe34870b.tar.gz
rust-401857aaa1e21df49e0d013b9856ab6dbe34870b.zip
cmse: fix 'region variables should not be hashed'
Diffstat (limited to 'compiler/rustc_hir_analysis')
-rw-r--r--compiler/rustc_hir_analysis/src/hir_ty_lowering/cmse.rs1
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/rustc_hir_analysis/src/hir_ty_lowering/cmse.rs b/compiler/rustc_hir_analysis/src/hir_ty_lowering/cmse.rs
index 5088c63702e..ae9558cae3b 100644
--- a/compiler/rustc_hir_analysis/src/hir_ty_lowering/cmse.rs
+++ b/compiler/rustc_hir_analysis/src/hir_ty_lowering/cmse.rs
@@ -128,6 +128,7 @@ fn is_valid_cmse_inputs<'tcx>(
 
     // this type is only used for layout computation, which does not rely on regions
     let fn_sig = tcx.instantiate_bound_regions_with_erased(fn_sig);
+    let fn_sig = tcx.erase_and_anonymize_regions(fn_sig);
 
     for (index, ty) in fn_sig.inputs().iter().enumerate() {
         let layout = tcx.layout_of(ty::TypingEnv::fully_monomorphized().as_query_input(*ty))?;