Language Make Sized predicates coinductive, allowing cycles. #[must_use] annotations on async fn also affect the Future::Output. Elaborate supertrait obligations when deducing closure signatures. ...