You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently codegen_annotations_in_scope() is called before the value of ste->ste_annotations_used is checked. As far as I can tell this is not necessary.