Add line that was unintentionally removed

eopb · eopb · commit b7d99983f879 · 2021-09-04T23:13:15.000+01:00
diff --git a/compiler/rustc_trait_selection/src/traits/const_evaluatable.rs b/compiler/rustc_trait_selection/src/traits/const_evaluatable.rs
@@ -91,6 +91,7 @@ pub fn is_const_evaluatable<'cx, 'tcx>(
                         ControlFlow::CONTINUE
                     }
                     Node::Cast(_, _, ty) => {
+                        let ty = ty.subst(tcx, ct.substs);
                         if ty.has_infer_types_or_consts() {
                             failure_kind = FailureKind::MentionsInfer;
                         } else if ty.definitely_has_param_types_or_consts(tcx) {

Original file line number	Diff line number	Diff line change
`@@ -91,6 +91,7 @@ pub fn is_const_evaluatable<'cx, 'tcx>(`
`91`	`91`	`ControlFlow::CONTINUE`
`92`	`92`	`}`
`93`	`93`	`Node::Cast(_, _, ty) => {`
	`94`	`+ let ty = ty.subst(tcx, ct.substs);`
`94`	`95`	`if ty.has_infer_types_or_consts() {`
`95`	`96`	`failure_kind = FailureKind::MentionsInfer;`
`96`	`97`	`} else if ty.definitely_has_param_types_or_consts(tcx) {`