Aserción de tipos (Assert)

class Bird {
    fly(){
        console.log("Pajaro");
    }

    layEggs(){
        console.log("Pone huevos");
    }
}

class Fish {

    constructor(){
        // Solo para el ejemplo
    }

    swim(){
        console.log("PEZ")
     }

    layEggs(){
         console.log("Pone huevos");
    }

}

function getAnimal() : Fish | Bird {
    var a : Fish = new Fish();
    return a;
}

let pet = getAnimal();
console.log(getAnimal());
pet.layEggs();

// ASERCIÓN
if((<Fish>pet).swim){
    (<Fish>pet).swim();
} else if((<Bird>pet).fly) {
    (<Bird>pet).fly();
}

Y si ahora añadieramos una clase más este condicional no controlaria esa situación, en este ejemplo al ser tan simple se ve claro, pero en clases más complejas con lógicas más complejas puede llegar ha ser un gran problema.