Normalize when checking sized predicate

Author: compiler-errors

compiler/rustc_typeck/src/check/fn_ctxt/_impl.rs

@@ -474,7 +474,13 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
     ) {
         if !ty.references_error() {
             let lang_item = self.tcx.require_lang_item(LangItem::Sized, None);
-            self.require_type_meets(ty, span, code, lang_item);
+            self.require_type_meets(
+                // We normalize this type because we possibly got it from HIR
+                self.normalize_associated_types_in(span, ty),
+                span,
+                code,
+                lang_item,
+            );
         }
     }