Почему интерфейсы и псевдонимы одной и той же формы дают разные результаты?

Использовал «Equals» для проверки на равенство

type Equals<A1, A2> = (<A>() => A extends A2 ? 1 : 0) extends (<A>() => A extends A1 ? 1 : 0) ? 1 : 0;

но есть проблема

interface User {
    id: string;
    name?: string;
}
type test0 = Equals<User, { id: string; name?: string }>;
// test0  => 1   expect ok

type test1 = { id: string; name?: string } extends Record<string, unknown> ? 1 : 0;
// test1  => 1   expect ok

type test2 = User extends Record<string, any> ? 1 : 0;
// test2  => 1   expect ok 

type test3 = User extends object ? 1 : 0;
// test3  => 1   expect ok

type test4 = User extends Record<string, unknown> ? 1 : 0;
// test4  => 0    I can't understand  why?

если "Пользователь" является псевдонимом

type User1 = {
    id: string;
    name?: string;
};

type test5 = User1 extends Record<string, unknown> ? 1 : 0;
// test1  => 1   Unbelievable  why？ 

Почему «test4» и «test5» ведут себя так? Что я сделал не так? Какие правила к этому приводят? Является ли тип «равно» неправильным?

Ссылка на игровую площадку