타입스크립트 Class Override 관련 질문

상속받은 Class에서 부모 메소드 Override 조건이

// 1) 부모 메서드와 반환 타입이 일치해야한다.

// 2) 부모 메서드에 필수인 파라미터들이 존재해야한다.

// 3) 부모 메서드에서 optional인 파라미터들이 자식에서

// 필수로 지정되면 안된다.

라고 강의에서 이야기 하셨는데,

3)의 경우 잘못된게 아닌가 싶어서 문의드립니다.

https://www.typescriptlang.org/play?#code/MYGwhgzhAEAKYCcCmA7ALtA3gKGn6EAFgPYCuaAFCmALZIBcBaCAligOYA00Y7SA-IxSkaAIyQIAlFlz45yNKQQpoAAwAkmanQC+gH1HogCVHAqo0BCVQG5ZeHdlvZsoSDADChFiAAm0JAA80qJ4w8MjoOHJEZJTaDEysHNy8scJiEpKMEMxs7DJyefgKSioQpAAOEgB0keRUtEiSVnK2OkA

class Parent {
    shout(name: string, age?: number) {
        return `${name}야 안녕!`;
    }
}


class Child extends Parent {
    shout(name: string, age: number): string {
            return super.shout(name);
    }
}

위 링크와 같이 부모 클래스에 존재하는 optional 파라미터가 자식 클래스에서 필수로 지정되어도 오류가 발생하지 않는 것 같습니다.

제가 확인하고 정리한 요건은 다음과 같습니다.

1. 부모 메소드와 자식 메소드의 반환 타입이 일치해야 함

2. 부모 메소드에서 필수인 파라미터들은 자식 메소드에도 동일한 타입으로 필수 파라미터로 존재해야 함

3. 부모 메소드에 존재하지 않는 필수인 파라미터가 자식 메소드에 존재하지 않아야 함

4. 부모 메소드에 존재하는 optional 파라미터는 자식 메소드에 존재하지 않아도 됨(단, 존재할 경우 타입은 일치해야함)

5. 자식 메소드에 optional 파라미터는 추가적으로 존재해도 됨

혹시 제가 잘못 생각한 부분인지 확인 부탁드립니다.

감사합니다.