Perform KnownPanicsLint inside coroutines.

Author: cjgillot

compiler/rustc_mir_transform/src/known_panics_lint.rs

@@ -44,13 +44,6 @@ impl<'tcx> crate::MirLint<'tcx> for KnownPanicsLint {
             return;
         }
 
-        // FIXME(welseywiser) const prop doesn't work on coroutines because of query cycles
-        // computing their layout.
-        if tcx.is_coroutine(def_id.to_def_id()) {
-            trace!("KnownPanicsLint skipped for coroutine {:?}", def_id);
-            return;
-        }
-
         trace!("KnownPanicsLint starting for {:?}", def_id);
 
         let mut linter = ConstPropagator::new(body, tcx);

tests/ui/async-await/future-sizes/async-awaiting-fut.rs

@@ -5,7 +5,7 @@
 //@ edition:2021
 //@ build-pass
 //@ ignore-pass
-//@ only-x86_64
+//@ only-64bit
 
 async fn wait() {}
 

tests/ui/async-await/future-sizes/large-arg.rs

@@ -5,7 +5,7 @@
 //@ edition: 2021
 //@ build-pass
 //@ ignore-pass
-//@ only-x86_64
+//@ only-64bit
 
 pub async fn test() {
     let _ = a([0u8; 1024]).await;

tests/ui/print_type_sizes/async.rs

@@ -5,7 +5,7 @@
 //@ edition:2021
 //@ build-pass
 //@ ignore-pass
-//@ only-x86_64
+//@ only-64bit
 
 #![allow(dropping_copy_types)]
 

tests/ui/print_type_sizes/coroutine_discr_placement.stdout

@@ -1,3 +1,5 @@
+print-type-size type: `std::pin::Pin<&mut {coroutine@$DIR/coroutine_discr_placement.rs:13:5: 13:7}>`: 8 bytes, alignment: 8 bytes
+print-type-size     field `.pointer`: 8 bytes
 print-type-size type: `{coroutine@$DIR/coroutine_discr_placement.rs:13:5: 13:7}`: 8 bytes, alignment: 4 bytes
 print-type-size     discriminant: 1 bytes
 print-type-size     variant `Unresumed`: 0 bytes
@@ -15,3 +17,9 @@ print-type-size type: `std::mem::MaybeUninit<i32>`: 4 bytes, alignment: 4 bytes
 print-type-size     variant `MaybeUninit`: 4 bytes
 print-type-size         field `.uninit`: 0 bytes
 print-type-size         field `.value`: 4 bytes
+print-type-size type: `std::ops::CoroutineState<(), ()>`: 1 bytes, alignment: 1 bytes
+print-type-size     discriminant: 1 bytes
+print-type-size     variant `Yielded`: 0 bytes
+print-type-size         field `.0`: 0 bytes
+print-type-size     variant `Complete`: 0 bytes
+print-type-size         field `.0`: 0 bytes