does this mean that `super.get` returns the right type only if the extension is implemented in Java?