What does this program print?

<?php
namespace Domain { final class User {} }
namespace Admin { final class User {} }
namespace {
    use Admin\User as AdminUser;
    use Domain\User;
    echo User::class, "\n", AdminUser::class, "\n";
}