Pokročilá typová inferencia: Navigácia v komplexných scenároch inferencie | MLOG | MLOG