diff -r c2ef93412407 -r 8739d8259932 stage3/fill_candidate_datatypes.cc --- a/stage3/fill_candidate_datatypes.cc Sat Oct 25 11:28:48 2014 +0100 +++ b/stage3/fill_candidate_datatypes.cc Sat Oct 25 13:17:12 2014 +0100 @@ -1966,6 +1966,9 @@ if (symbol->candidate_datatypes.size() == 1) // narrow the symbol->datatype for this symbol as explained above! symbol->datatype = symbol->candidate_datatypes[0]; + + /* Since the deref_operator_c may be used inside structures, we must handle set the 'scope' annotation here too! */ + symbol->scope = symbol->exp->scope; return NULL; }