baubas

The solution is clear if you look at wp_nav_menu() code. Here’s what you needed:

$menu_slug = 'top-menu';
$locations = get_nav_menu_locations();

if (isset($locations[$args->theme_location])) {
    $menu_id = $locations[$args->theme_location];
}