Can we make auto return type inference a little more lax?

[Andrej Mitrovic]

auto foo()
{
    if (1)
    {
        return [0, 0];
    }
    else
    {
        size_t one;
        size_t two;
        
        return [one, two];
    }
}

void main(){ }

Error: mismatched function return type inference of
uint[] and int[]

Surely the compiler can figure out a common type for these two when literals are involved.