new inference: erasure of type parameters with proper bounds (IDEA-162544)