bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Check for presence of field in typeck results before visiting it

Browse source 
Co-authored-by: Michael Goulet <michael@errs.io>
This commit is contained in:
León Orell Valerian Liehr 2024-02-03 17:34:25 +01:00
parent cb4d9a1902
commit 4f773af1cc
No known key found for this signature in database
GPG key ID: D17A07215F68E713
3 changed files with 27 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

6
compiler/rustc_passes/src/dead.rs
View file

@ -464,7 +464,11 @@ impl<'tcx> Visitor<'tcx> for MarkSymbolVisitor<'tcx> {
self.lookup_and_handle_method(expr.hir_id);
}
hir::ExprKind::Field(ref lhs, ..) => {
self.handle_field_access(lhs, expr.hir_id);
if self.typeck_results().opt_field_index(expr.hir_id).is_some() {
self.handle_field_access(lhs, expr.hir_id);
} else {
self.tcx.dcx().span_delayed_bug(expr.span, "couldn't resolve index for field");
}
}
hir::ExprKind::Struct(qpath, fields, _) => {
let res = self.typeck_results().qpath_res(qpath, expr.hir_id);