Use ResolveResults as annotations.