Nevermind, I see that in plugin.php and theme.php the situation is different: https://github.com/wp-cli/wp-cli/pull/619/files#diff-d9280ce263428117e9371575f158307aR179