Nested generic type with constraints testing