widl: Check that fields in structures and unions referenced by non-local functions can be marshalled and that their attributes are consistent.