Override method (...) does not match the returned type from its superclass cuando hay returns ¿y/o? llaves en if/else

[felipecalvo]

Cuando una clase hace override de un método y agrega un if/else con returns y llaves, tira el error shouldMatchSuperclassReturnValue.

Sin el override, tira el warning de shouldUseOverrideKeyword pero compila y funciona.

Si evitamos el else y sólo dejamos el if, funciona sin errores. Lo mismo si definimos el método en una línea.

Gist con el código: https://gist.github.com/felipecalvo/97de96cb488519ae6ceec31849f85b61

cc @EmaSantoro @aleperaltabazas

[PalumboN]

Related #265

[MVitelli]

@fdodino
Just started a PR with a possible fix.

The only case that is failing right now is:

class FilosofoRoto2 inherits Filosofo {
  override method iluminacion() {
    if (1 > 0) 3 else 5
  }
}

I need some advice in how to compare a Return type sentence against a Literal.

In the other hand, I don't know if it's the scope of this issue to tackle nested if-else conditions.

[fdodino]

@fdodino Just started a PR with a possible fix.

The only case that is failing right now is:

class FilosofoRoto2 inherits Filosofo {
  override method iluminacion() {
    if (1 > 0) 3 else 5
  }
}

I need some advice in how to compare a Return type sentence against a Literal.

In the other hand, I don't know if it's the scope of this issue to tackle nested if-else conditions.

Buenísimo, en este caso igual es raro que ese if no esté devolviendo nada. Vos decís que ahora el único caso que falla es el que comentás arriba, por ahí yo empezaría armando un PR para language de los casos que reportó Felipe. Y después hay que mirar qué tipo de sentencia está involucrada tirando warning o error, para lo cual lo mejor es ir imprimiendo el AST y el contenido de cada nodo. Hay una tablita de cómo considerar que se devuelve un valor o no, medio falopa, pero que ataja varios casos...

Lo ideal es ver si armamos una juntada para pairearlo, pasa que este martes fue 24 y el que viene es 31/12. Pero hablemos...