Fix ICE when collecting opaques from trait method declarations

Author: lapla-cogito

compiler/rustc_ty_utils/src/opaque_types.rs

@@ -64,7 +64,10 @@ impl<'tcx> OpaqueTypeCollector<'tcx> {
 
     #[instrument(level = "trace", skip(self))]
     fn collect_taits_declared_in_body(&mut self) {
-        let body = self.tcx.hir_body_owned_by(self.item).value;
+        let Some(body) = self.tcx.hir_maybe_body_owned_by(self.item) else {
+            return;
+        };
+        let body = body.value;
         struct TaitInBodyFinder<'a, 'tcx> {
             collector: &'a mut OpaqueTypeCollector<'tcx>,
         }

tests/ui/impl-trait/ice-148622-opaque-as-const-generics.rs

@@ -0,0 +1,21 @@
+#![feature(type_alias_impl_trait)]
+
+pub type Opaque = impl std::future::Future;
+//~^ ERROR: unconstrained opaque type
+
+trait Foo<const N: Opaque> {
+    //~^ ERROR: `Opaque` is forbidden as the type of a const generic parameter
+    fn do_x(&self) -> [Opaque; N];
+    //~^ ERROR: the constant `N` is not of type `usize`
+}
+
+struct Bar;
+
+impl Foo<3> for Bar {
+    //~^ ERROR: mismatched types
+    fn do_x(&self) -> [u8; 3] {
+        [0u8; 3]
+    }
+}
+
+fn main() {}

tests/ui/impl-trait/ice-148622-opaque-as-const-generics.stderr

@@ -0,0 +1,44 @@
+error: `Opaque` is forbidden as the type of a const generic parameter
+  --> $DIR/ice-148622-opaque-as-const-generics.rs:6:20
+   |
+LL | trait Foo<const N: Opaque> {
+   |                    ^^^^^^
+   |
+   = note: the only supported types are integers, `bool`, and `char`
+
+error[E0308]: mismatched types
+  --> $DIR/ice-148622-opaque-as-const-generics.rs:14:10
+   |
+LL | pub type Opaque = impl std::future::Future;
+   |                   ------------------------ the expected future
+...
+LL | impl Foo<3> for Bar {
+   |          ^ expected future, found integer
+   |
+   = note: expected opaque type `Opaque`
+                     found type `{integer}`
+
+error: unconstrained opaque type
+  --> $DIR/ice-148622-opaque-as-const-generics.rs:3:19
+   |
+LL | pub type Opaque = impl std::future::Future;
+   |                   ^^^^^^^^^^^^^^^^^^^^^^^^
+   |
+   = note: `Opaque` must be used in combination with a concrete type within the same crate
+
+error: the constant `N` is not of type `usize`
+  --> $DIR/ice-148622-opaque-as-const-generics.rs:8:23
+   |
+LL |     fn do_x(&self) -> [Opaque; N];
+   |                       ^^^^^^^^^^^ expected `usize`, found future
+   |
+note: this item must have a `#[define_opaque(Opaque)]` attribute to be able to define hidden types
+  --> $DIR/ice-148622-opaque-as-const-generics.rs:8:8
+   |
+LL |     fn do_x(&self) -> [Opaque; N];
+   |        ^^^^
+   = note: the length of array `[Opaque; N]` must be type `usize`
+
+error: aborting due to 4 previous errors
+
+For more information about this error, try `rustc --explain E0308`.