Partly implemented struct/union field lookup typechecking (for non-generic types).