Testing instance argument resolution