documented generics corner case