Make Sized predicates coinductive, allowing cycles. [must_use] annotations on async fn also affect the Future::Output. Elaborate supertrait obligations when deducing closure signatures. Invalid literals are no longer an error under cfg(FAL…