bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Check opaque type def ids before bailing out

Browse source
This commit is contained in:
Ömer Sinan Ağacan 2021-02-11 13:37:00 +03:00
parent 5fd1ebe50f
commit ad47fb1ca9
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
compiler/rustc_typeck/src/check/fn_ctxt/_impl.rs
View file

@ -1073,6 +1073,11 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
}; };
let last_expr_ty = self.node_ty(last_expr.hir_id); let last_expr_ty = self.node_ty(last_expr.hir_id);
let needs_box = match (last_expr_ty.kind(), expected_ty.kind()) { let needs_box = match (last_expr_ty.kind(), expected_ty.kind()) {
(ty::Opaque(last_def_id, _), ty::Opaque(exp_def_id, _))
if last_def_id == exp_def_id =>
{
StatementAsExpression::CorrectType
}
(ty::Opaque(last_def_id, last_bounds), ty::Opaque(exp_def_id, exp_bounds)) => { (ty::Opaque(last_def_id, last_bounds), ty::Opaque(exp_def_id, exp_bounds)) => {
debug!( debug!(
"both opaque, likely future {:?} {:?} {:?} {:?}", "both opaque, likely future {:?} {:?} {:?} {:?}",