File tree Expand file tree Collapse file tree 1 file changed +1
-1
lines changed
compiler/rustc_hir_typeck/src Expand file tree Collapse file tree 1 file changed +1
-1
lines changed Original file line number Diff line number Diff line change @@ -1400,7 +1400,7 @@ pub fn can_coerce<'tcx>(
14001400/// When coercing, each branch should use the following expectations for type inference:
14011401/// - The branch can be coerced to the expected type of the match/if/whatever.
14021402/// - The branch can be coercion lub'd with the types of the previous branches.
1403- /// Ideally we'd have some sort of `Expectation::ParticipatsInCoerceLub (ongoing_lub_ty, final_ty)`,
1403+ /// Ideally we'd have some sort of `Expectation::ParticipatesInCoerceLub (ongoing_lub_ty, final_ty)`,
14041404/// but adding and using this feels very challenging.
14051405/// What we instead do is to use the expected type of the match/if/whatever as
14061406/// the initial coercion lub. This allows us to use the lub of "expected type of match" with
You can’t perform that action at this time.
0 commit comments