"FieldExpresssion.typeCheck : invalid field reference"should tell you what type is missing the field

The invalid field reference error message would be more useful if it told you the type that was missing the field in addition to the field name. That information is handy when the type isn't what you think it is and aren't sure why.