This only works because we do the ensureTypeNotUnknown and conservatively bump things to Object more than we need to. When I experiemented with removing it the following fails

function(a,b) return a + b

as it creates a conservative number type from leaveAdd.

This is currently not an issue due to overly conservative Object types