Metoda Scala, w której typ drugiego parametru jest równy części rodzaju ogólnego od pierwszego parametru

Question

Chcę utworzyć specyficzną metodę generyczną w Scali. Zajmuje dwa parametry. Pierwszy z nich jest typem ogólnego interfejsu Java (pochodzi z zapytania o kryteria JPA). Obecnie wygląda następująco:

def genericFind(attribute:SingularAttribute[Person, _], value:Object) { 
    ... 
} 

// The Java Interface which is the type of the first parameter in my find-method: 
public interface SingularAttribute<X, T> extends Attribute<X, T>, Bindable<T> 

Teraz chcę osiągnąć następujące: wartość jest aktualnie typu java.lang.Object. Ale chcę, aby był bardziej szczegółowy. Wartość musi być tego samego typu, co symbol zastępczy "_" z pierwszego parametru (a zatem reprezentuje "T" w interfejsie Java).

Czy to jakoś możliwe i jak?

BTW Przepraszamy za głupi tytuł zapytania (jakieś sugestie?)

EDIT: dodał addtional przykład, który może sprawić, że problemem bardziej jasne:

// A practical example how the Scala method could be called 

// Java class: 
public class Person_ { 
    public static volatile SingularAttribute<Person, Long> id; 
} 

// Calling the method from Scala: 
genericFind(Person_.id, Long) 

Answer 1

wierzchu moja głowa (wciąż zaczynam od Scala):

def genericFind[T](attribute:SingularAttribute[Person, T], value:T) { 
    ... 
}