per discussion with Sam Berlin, modified to not checked scope+qualifier
annotations for now