I created https://issues.jboss.org/browse/ISPN-3675 that can handle this and other various return values that can be made covariant.