nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2024-11-26 16:54:01 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix non-existent-field ICE for generic fields.

Browse Source 
Co-authored-by: eddyb <eddyb@lyken.rs>
This commit is contained in:
Mara Bos 2021-02-03 18:36:48 +01:00
parent 6ad11e2e25
commit 68cc12ab71
3 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
compiler/rustc_typeck/src/check/expr.rs
View File

@ -1974,7 +1974,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
field_path.push(candidate_field.ident.normalize_to_macros_2_0());
let field_ty = candidate_field.ty(self.tcx, subst);
if let Some((nested_fields, _)) = self.get_field_candidates(span, &field_ty) {
if let Some((nested_fields, subst)) = self.get_field_candidates(span, &field_ty) {
for field in nested_fields.iter() {
let ident = field.ident.normalize_to_macros_2_0();
if ident == target_field {

4
src/test/ui/suggestions/non-existent-field-present-in-subfield.fixed
View File

@ -3,7 +3,7 @@
struct Foo {
first: Bar,
_second: u32,
_third: u32,
_third: Vec<String>,
}
struct Bar {
@ -32,7 +32,7 @@ fn main() {
let d = D { test: e };
let c = C { c: d };
let bar = Bar { bar: c };
let fooer = Foo { first: bar, _second: 4, _third: 5 };
let fooer = Foo { first: bar, _second: 4, _third: Vec::new() };
let _test = &fooer.first.bar.c;
//~^ ERROR no field

4
src/test/ui/suggestions/non-existent-field-present-in-subfield.rs
View File

@ -3,7 +3,7 @@
struct Foo {
first: Bar,
_second: u32,
_third: u32,
_third: Vec<String>,
}
struct Bar {
@ -32,7 +32,7 @@ fn main() {
let d = D { test: e };
let c = C { c: d };
let bar = Bar { bar: c };
let fooer = Foo { first: bar, _second: 4, _third: 5 };
let fooer = Foo { first: bar, _second: 4, _third: Vec::new() };
let _test = &fooer.c;
//~^ ERROR no field