Как я могу создать подтип `I`, который бы обернул другие подтипы` I`?

Question

Учитывая следующее в Java:

public interface Reply<T> { 
    T data(); 
} 

public class StatusReply implements Reply<String> { 
    private final String status; 

    public StatusReply(String status) { 
    this.status = status; 
    } 

    @Override 
    public String data() { 
    return status; 
    } 
} 

Я хочу, чтобы иметь возможность сделать это в Scala:

class PassthroughReply[R <: Reply[_]](val reply: R) 
    extends Reply[T] { // won't compile, `T` type not found 

    override 
    def data[T : Reply]: T = reply.data 
} 

val statusReply = new StatusReply("OK") 
val passthroughReply = new PassthroughReply[SatusReply](statusReply) 
passthroughReply.data // Should return "OK" 

То, что я хочу, что data в экземпляре PassthroughReply, должны иметь тот же введите data его обернутого подтипа Reply.

Answer 1

Как насчет этого?

class PassthroughReply[T](val reply: Reply[T]) extends Reply[T] { 
    override def data = reply.data 
}