typeinfer-assign-test completed, 11 passing
typeinfer-assign-test completed, 11 passing