numba.typed.typeddict.Dict.get returns the default even though the key is present

With some specific key dtypes, Dict.get returns the default value even when the key is present. This has been tested with numba 0.55.1

To reproduce:

import numba

numba_dict = numba.typed.typeddict.Dict.empty(
    key_type=numba.types.Tuple([numba.types.uint32, numba.types.uint32]),
    value_type=numba.types.int64)

numba_dict[(1,1)] = 12345
assert numba_dict.get((1,1), 1) == numba_dict[(1,1)]

The error depends on the size of the ints in the key, not on the unsigned aspect. It disappears with e.g. numba.types.Tuple([numba.types.uint32, numba.types.uint64])

[stuartarchibald]

@guilhermeleobas Thanks for debugging, your assessment in https://github.com/numba/numba/issues/7908#issuecomment-1068327361 seems to highlight the likely cause.

@czgdp1807 RE the warning:

NumbaTypeSafetyWarning: unsafe cast from UniTuple(int64 x 2) to UniTuple(uint32 x 2). Precision may be lost.

This is because the dictionary is declared as taking uint32 but Numba will infer the type of a Python int as int64, as a result the type of the requested key UniTuple(int64 x 2) has to be cast to match the types of the keys as declared in the dictionary. This is expected.

Patches to fix and test as suggested are welcome. Many thanks!

[czgdp1807]

Great. I will send a fix with a regression test tomorrow.