Los objetos A, B... tienen espacio de namespace de atributo y tengo una función que filtra una lista de tales objetos por un determinado conjunto de valores de atributo de namespace de nombres:

 T = TypeVar('T') def filter(seq: list[T], namespace_values: set[str]) -> list[T]: # Returns a smaller list containing only the items from # `seq` whose `namespace` are in `namespace_values` ...

Esto funciona bien, pero permite pasar un objeto de tipo X que no tiene el espacio de namespace del atributo sin ningún error de verificación.

Luego creé un protocolo y cambié la función para usar el protocolo:

 class Namespaced(Protocol): namespace: str def filter(seq: list[Namespaced], namespace_values: set[str]) -> list[Namespaced]: # Returns a smaller list containing only the items from # `seq` whose `namespace` are in `namespace_values` ...

Ahora me sale un error de verificación si paso una lista de X (que es lo que quería), pero perdí los genéricos:

 list_of_a: list[A] = [a1, a2, a3] output = filter(list_of_a, ['ns1', 'ns2']) # output is list[Namespaced] instead of list[A]

¿Cómo puedo combinar los genéricos y el protocolo para que mi función devuelva una lista de tipo T y también verifique que los elementos de seq implementen el protocolo Namespaced ?

Intenté el siguiente enfoque pero la T se perdió.

 def filter(seq: list[Namespaced[T]], namespace_values: set[str]) -> list[T]: # Returns a smaller list containing only the items from # `seq` whose `namespace` are in `namespace_values` ...

¡Salud!