Fix new ICE caused by derred arg Sized check

Author: estebank

compiler/rustc_typeck/src/check/check.rs

@@ -131,11 +131,7 @@ pub(super) fn check_fn<'a, 'tcx>(
         // for simple cases like `fn foo(x: Trait)`,
         // where we would error once on the parameter as a whole, and once on the binding `x`.
         if param.pat.simple_ident().is_none() && !tcx.features().unsized_locals {
-            fcx.require_type_is_sized_deferred(
-                param_ty,
-                param.pat.span,
-                traits::SizedArgumentType(ty_span),
-            );
+            fcx.require_type_is_sized(param_ty, param.pat.span, traits::SizedArgumentType(ty_span));
         }
 
         fcx.write_ty(param.hir_id, param_ty);

src/test/ui/closures/issue-41366.stderr

@@ -1,3 +1,14 @@
+error[E0631]: type mismatch in closure arguments
+  --> $DIR/issue-41366.rs:10:5
+   |
+LL |     (&|_| ()) as &dyn for<'x> Fn(<u32 as T<'x>>::V);
+   |     ^^------^
+   |     | |
+   |     | found signature of `fn(u16) -> _`
+   |     expected signature of `fn(<u32 as T<'x>>::V) -> _`
+   |
+   = note: required for the cast to the object type `dyn for<'x> Fn(<u32 as T<'x>>::V)`
+
 error[E0277]: the size for values of type `<u32 as T<'_>>::V` cannot be known at compilation time
   --> $DIR/issue-41366.rs:10:8
    |
@@ -15,17 +26,6 @@ help: function arguments must have a statically known size, borrowed types alway
 LL |     (&|&_| ()) as &dyn for<'x> Fn(<u32 as T<'x>>::V);
    |        ^
 
-error[E0631]: type mismatch in closure arguments
-  --> $DIR/issue-41366.rs:10:5
-   |
-LL |     (&|_| ()) as &dyn for<'x> Fn(<u32 as T<'x>>::V);
-   |     ^^------^
-   |     | |
-   |     | found signature of `fn(u16) -> _`
-   |     expected signature of `fn(<u32 as T<'x>>::V) -> _`
-   |
-   = note: required for the cast to the object type `dyn for<'x> Fn(<u32 as T<'x>>::V)`
-
 error: aborting due to 2 previous errors
 
 Some errors have detailed explanations: E0277, E0631.

src/test/ui/typeck/typeck_type_placeholder_item.stderr

@@ -314,10 +314,10 @@ LL |         b: (T, T),
    |
 
 error[E0282]: type annotations needed
-  --> $DIR/typeck_type_placeholder_item.rs:128:27
+  --> $DIR/typeck_type_placeholder_item.rs:128:18
    |
 LL |     fn fn_test11(_: _) -> (_, _) { panic!() }
-   |                           ^^^^^^ cannot infer type
+   |                  ^ cannot infer type
 
 error[E0121]: the type placeholder `_` is not allowed within types on item signatures
   --> $DIR/typeck_type_placeholder_item.rs:128:28