wildcard constraint tests