The Problems View does not get updated for errors of top level symbols

User picture