File tree Expand file tree Collapse file tree 1 file changed +6
-2
lines changed Expand file tree Collapse file tree 1 file changed +6
-2
lines changed Original file line number Diff line number Diff line change @@ -182,7 +182,7 @@ pub fn layout_of_ty_ns_query<'db>(
182
182
} ;
183
183
let dl = & * target;
184
184
let cx = LayoutCx :: new ( dl) ;
185
- let infer_ctxt = interner. infer_ctxt ( ) . build ( TypingMode :: non_body_analysis ( ) ) ;
185
+ let infer_ctxt = interner. infer_ctxt ( ) . build ( TypingMode :: PostAnalysis ) ;
186
186
let cause = ObligationCause :: dummy ( ) ;
187
187
let ty = deeply_normalize ( infer_ctxt. at ( & cause, ParamEnv :: empty ( ) ) , ty) . unwrap_or ( ty) ;
188
188
let result = match ty. kind ( ) {
@@ -368,7 +368,11 @@ pub fn layout_of_ty_ns_query<'db>(
368
368
}
369
369
370
370
TyKind :: Error ( _) => return Err ( LayoutError :: HasErrorType ) ,
371
- TyKind :: Placeholder ( _) | TyKind :: Bound ( ..) | TyKind :: Infer ( ..) | TyKind :: Param ( ..) | TyKind :: Alias ( ..) => {
371
+ TyKind :: Placeholder ( _)
372
+ | TyKind :: Bound ( ..)
373
+ | TyKind :: Infer ( ..)
374
+ | TyKind :: Param ( ..)
375
+ | TyKind :: Alias ( ..) => {
372
376
return Err ( LayoutError :: HasPlaceholder ) ;
373
377
}
374
378
} ;
You can’t perform that action at this time.
0 commit comments