commit 425d68fc02221d6fe7c58200e570868a897e35c4
author lcnr <rust@lcnr.de> Wed Aug 13 10:30:34 2025 +0200
committer lcnr <rust@lcnr.de> Wed Aug 13 10:57:45 2025 +0200
tree d52f23b88a8517fc814a32ae62e720f5efb8ab34
parent 70ec05eed7d112ff5694c5d8755c56c6d174aacc

layout_of uses `PostAnalysis`

crates/hir-ty/src/layout.rs

diff --git a/crates/hir-ty/src/layout.rs b/crates/hir-ty/src/layout.rs
index e7bb529..2d0471d 100644
--- a/crates/hir-ty/src/layout.rs
+++ b/crates/hir-ty/src/layout.rs
@@ -182,7 +182,7 @@
     };
     let dl = &*target;
     let cx = LayoutCx::new(dl);
-    let infer_ctxt = interner.infer_ctxt().build(TypingMode::non_body_analysis());
+    let infer_ctxt = interner.infer_ctxt().build(TypingMode::PostAnalysis);
     let cause = ObligationCause::dummy();
     let ty = deeply_normalize(infer_ctxt.at(&cause, ParamEnv::empty()), ty).unwrap_or(ty);
     let result = match ty.kind() {
@@ -368,7 +368,11 @@
         }
 
         TyKind::Error(_) => return Err(LayoutError::HasErrorType),
-        TyKind::Placeholder(_) | TyKind::Bound(..) | TyKind::Infer(..) | TyKind::Param(..) | TyKind::Alias(..) => {
+        TyKind::Placeholder(_)
+        | TyKind::Bound(..)
+        | TyKind::Infer(..)
+        | TyKind::Param(..)
+        | TyKind::Alias(..) => {
             return Err(LayoutError::HasPlaceholder);
         }
     };