error on assignment of assignment expression to variable of type Anything

[jvasileff]

Relating to ceylon/ceylon-spec#438 and ceylon/ceylon-spec@ad195d3

void fails<Result>(Result() f) {
  variable Anything memo;
  Result x = memo = f(); // Ceylon Backend Error
  // incompatible types
  // required: Result
  // found:    java.lang.Object
}

void works<Result>(Result() f) {
  variable Result|Object|Null memo;
  Result x = memo = f();
}

Anything probably doesn't make sense here that often, but it looks like a bug nevertheless. FWIW, the use case involved using a marker object for memo's initial value, to distinguish from a Null result, and eventually doing assert(is Result ...), making the type largely irrelevant.

[FroMage]

Typical example of @gavinking implementing something and forgetting to open an issue here about it ;)

[FroMage]

There you go, as you can see it was a piece of cake ;)