Fix type inference for multiple-return assignments where some do and some don't return a known type