有没有办法检查Typescript中的类型相等性？

let num: number = 123;
let str: string = "hello";

console.log(typeof num === typeof str); // false

class Animal {}
class Dog extends Animal {}

let animal: Animal = new Animal();
let dog: Dog = new Dog();

console.log(dog instanceof Animal); // true

function assertType<T>(value: any, type: T): asserts value is T {
    if (typeof value !== typeof type) {
        throw new Error(`Type assertion failed: ${typeof value} is not ${typeof type}`);
    }
}

let value = "test";
assertType(value, ""); // No error

function isString(value: any): value is string {
    return typeof value === "string";
}

let value: unknown = "test";
if (isString(value)) {
    console.log(value.toUpperCase()); // value is treated as string here
}

// 定义两个接口
interface Person {
    name: string;
    age: number;
}

interface Employee {
    name: string;
    employeeId: number;
}

// 检查两个接口是否具有相同的属性结构
function areTypesEqual<T, U>(obj1: T, obj2: U): boolean {
    const keys1 = Object.keys(obj1) as (keyof T)[];
    const keys2 = Object.keys(obj2) as (keyof U)[];

    if (keys1.length !== keys2.length) {
        return false;
    }

    for (const key of keys1) {
        if (!(key in obj2)) {
            return false;
        }
    }

    return true;
}

const person: Person = { name: "John", age: 30 };
const employee: Employee = { name: "Jane", employeeId: 123 };

console.log(areTypesEqual(person, employee)); // false