bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Erase regions before checking for default in uninitialized binding error

Browse source
This commit is contained in:
Michael Goulet 2022-10-19 23:35:47 +00:00
parent 4b8f431995
commit c5c9f74829
3 changed files with 63 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

11
compiler/rustc_borrowck/src/diagnostics/conflict_errors.rs
View file

@ -492,10 +492,17 @@ impl<'cx, 'tcx> MirBorrowckCtxt<'cx, 'tcx> {
let Some(default_trait) = tcx.get_diagnostic_item(sym::Default) else {
return false;
};
// Regions are already solved, so we must use a fresh InferCtxt,
// but the type has region variables, so erase those.
tcx.infer_ctxt()
.build()
.type_implements_trait(default_trait, ty, ty::List::empty(), param_env)
.may_apply()
.type_implements_trait(
default_trait,
tcx.erase_regions(ty),
ty::List::empty(),
param_env,
)
.must_apply_modulo_regions()
};
let assign_value = match ty.kind() {