Ayuda con lo que escupe el Type System: superclase/subclase

[asanzo]

En este archivo:
Suenios.txt

Tira este error y no lo entiendo, y no puedo reproducirlo en un ejemplo minimal:

Y es raro porque todas esas son subclases de Suenio...

Jelp!

[PalumboN]

Mmmm seguramente algo tiene que ver con este issue donde el tipo de los atributos se trula: #1891. Por lo que entiendo ahí está infiriendo que el tipo de sueniosCumplidos es una lista de ese tipo unión (ahí se ve el problema del issue, porque falta SuenioMultiple).

Después al inferir el tipo del bloque sí infiere Suenio, por el uso, pero el error ahí no tiene sentido ya que el tipo unión sería subtipo, no debería haber problema :)

[PalumboN]

UPDATE: Acabo de probar este programa con la versión que está en dev y ya no tira ese error. Tira varios errores relacionados con booleanos por culpa de la línea 14:

if(suenio.cumpleRequisito(self) and tipoPersona.requisitoTipo(self)){

En donde tipoPersona.requisitoTipo(self) devuelve un suenio, no un booleano. Así que el warning que tira es correcto.

Al sacar esa condición infiere todo joya y no hay errores de tipos.