merged typeinfer-badassign-test, 12 passing