omo posso definir A e B, dependendo da classe digitada, usando a biblioteca refin
Problema
Tenho uma classe de passageiro Passageiro, que começa no ponto A e vai para o ponto B.
Um passageiro válido significa que o ponto A não é igual ao ponto B.
Passenger(
a: Int,
b: Int
)
Questão
Como posso projetar a classe Passenger usando refind biblioteca para atingir a meta?
Acho que o passageiro deve usar dois ou um parâmetro de tipo refinado, algo como:
Passenger[A, B Refined NotEqual[A]](...)