Assertion failure in assignment

[kyouko-taiga]

The following program crashes the compilers to a violated assertion.

public fun main() {
  var x: Optional<Int>
  &x = 1
}

The problem is that the integer literal does not get a type. I suspect the issue is during the construction of type checking constraints.