Crash instead of looping infinitely when solving type constraints