Fix ICE when return impl ?Sized

compiler/rustc_typeck/src/check/check.rs

@@ -3,6 +3,7 @@ use super::compare_method::check_type_bounds;
 use super::compare_method::{compare_const_impl, compare_impl_method, compare_ty_impl};
 use super::*;
 
+use hir::{GenericBound, PolyTraitRef, TraitBoundModifier};
 use rustc_attr as attr;
 use rustc_errors::{Applicability, ErrorGuaranteed, MultiSpan};
 use rustc_hir as hir;
@@ -96,6 +97,25 @@ pub(super) fn check_fn<'a, 'tcx>(
 
     let declared_ret_ty = fn_sig.output();
 
+    if let ty::Opaque(def_id, _) = *declared_ret_ty.kind() {
+        let bounds = match &tcx.hir().expect_item(def_id.expect_local()).kind {
+            ItemKind::OpaqueTy(ty) => ty.bounds,
+            _ => bug!("unexpected opaque type"),
+        };
+
+        let sized_def_id = tcx.require_lang_item(LangItem::Sized, None);
+        if bounds.iter().any(|bound| match bound {
+            GenericBound::Trait(PolyTraitRef { trait_ref, .. }, TraitBoundModifier::Maybe)
+                if trait_ref.path.res.def_id() == sized_def_id =>
+            {
+                true
+            }
+            _ => false,
+        }) {
+            sess.span_err(decl.output.span(), "return type should be sized");
+        }
+    }
+
     let ret_ty =
         fcx.register_infer_ok_obligations(fcx.infcx.replace_opaque_types_with_inference_vars(
             declared_ret_ty,

src/test/ui/return/return-impl-maybe-sized.rs

@@ -0,0 +1,5 @@
+// Regression test for issue #97226
+
+fn test_fn() -> impl ?Sized {} //~ ERROR return type should be sized
+
+fn main() {}

src/test/ui/return/return-impl-maybe-sized.stderr

@@ -0,0 +1,8 @@
+error: return type should be sized
+  --> $DIR/return-impl-maybe-sized.rs:3:17
+   |
+LL | fn test_fn() -> impl ?Sized {}
+   |                 ^^^^^^^^^^^
+
+error: aborting due to previous error
+