1
Fork 0

Rollup merge of #102506 - TaKO8Ki:specify-dyn-kind, r=lcnr

Specify `DynKind::Dyn`

ref: https://github.com/rust-lang/rust/pull/101212#discussion_r958861297
This commit is contained in:
Matthias Krüger 2022-09-30 19:06:07 +02:00 committed by GitHub
commit a8777580ee
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1425,7 +1425,7 @@ impl<'a, 'tcx> InferCtxtExt<'tcx> for InferCtxt<'a, 'tcx> {
let mut spans_and_needs_box = vec![];
match liberated_sig.output().kind() {
ty::Dynamic(predicates, _, _) => {
ty::Dynamic(predicates, _, ty::Dyn) => {
let cause = ObligationCause::misc(ret_ty.span, fn_hir_id);
let param_env = ty::ParamEnv::empty();