Implicit conversions using different int flavours

[lbartworks]

Hi, I just came through this example that found rather unintuitive:

struct test:
    fn __init__(inout self):
        pass

    fn printme(self, va: SIMD[DType.uint16]):
        print("My type is uint16")


    fn printme(self, va: Int):
        print("My type is Int")


def main():
    var integ = Int(3400)
    var integ16 = SIMD[DType.uint16](3400)
    var example = test()

    example.printme(integ)
    example.printme(integ16)
    example.printme(integ16 + integ)

The output is:

My type is Int
My type is uint16
My type is uint16

I would expect in a case like this:
a) Request me to do an explicit type conversion
b) Always convert the smaller scope type to the bigger scope

What do you guys think?