cast the local value, not the local in annotate-binding-tag