annotate top-level record wildcards