These failing tests have been hotfixed to some degree by 8460a79, but this is not a good fix (which is why it loudly prints BUG when it occurs).
The typechecker needs to actually assign the right types here. TBH, the entire semantic analysis pipeline could use a lot of TLC. Not sure when that will happen...
These failing tests have been hotfixed to some degree by 8460a79, but this is not a good fix (which is why it loudly prints BUG when it occurs).
The typechecker needs to actually assign the right types here. TBH, the entire semantic analysis pipeline could use a lot of TLC. Not sure when that will happen...