error on assignment of assignment expression to variable of type Anything

[CeylonMigrationBot]

[@jvasileff] Relating to #3544 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.

[Migrated from ceylon/ceylon-compiler#1917]
[Closed at 2014-11-19 10:22:38]

[CeylonMigrationBot]

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

[CeylonMigrationBot]

[@FroMage] There you go, as you can see it was a piece of cake ;)