Stack overflow when checking assignability of recursive types

[steveRoll-git]

This causes a stack overflow:

type A = {next: B}
type B = {next: A}

function f(a: A, b: B)
  b = a
end