with revealed type:
could not normalize field typeprecise captured param should be invariantparameter should have been resolvedparent item:  not marked as defaultnegative impls cannot have any items in trait cannot be specializedasync functions in traits with return-position `impl Trait` in trait cannot be specializedreturn position `impl Trait` in traitsspecialization behaves in inconsistent and surprising ways with , and for now is disallowed should be rejected in ast_loweringimpls of auto traits cannot be defaultdefault because of thisauto traitnegative impls cannot be default implsimpl_polarity query disagrees with impl's polarity in HIRmarker traits cannot have associated itemsusing raw pointers as const generic parameters is forbiddenusing function pointers as const generic parameters is forbidden` is forbidden as the type of a const generic parameterthe only supported types are integers, `bool`, and `char` more complex and user defined types references to implement the `ConstParamTy` traitreport_bivariance: unexpected item kind: functions with the "rust-call" ABI must take a single non-self tuple argument` cannot be used as the type of `self` without the `arbitrary_self_types` featurehir_analysis_invalid_receiver_ty_help` cannot be used as the type of `self` without the `arbitrary_self_types_pointers` featurethis bound ismissing required bound on `add the required where clause currently required to ensure that impls have maximum flexibilitywe are soliciting feedback, see issue #87479 <https://github.com/rust-lang/rust/issues/87479> for more informationshould not be computing variance of non-free type aliashir generics and ty generics in different order