tests for member typing of invariant types with wildcards