@dmitry.petrov awesome, maybe the docs could indicate that as well? E.g. something like "At the moment the :: operator can be only used for overloaded functions if the signature can be inferred from the context." + your example. To me this seems to fully solve the problem and I'd even ditch "At the moment .. only..."