[typescript - 2.4] Stricter checking for generic functions

[sculove]

generic functions의 검사가 더 엄격해졌다.

type A = <T, U>(x: T, y: U) => [T, U];
type B = <S>(x: S, y: S) => [S, S];

function f(a: A, b: B) {
    a = b;  // Error
    b = a;  // Ok
}

generic에 type을 적용하는 것은 좀 아닌듯. 너무 가독성이 떨어짐.

--noStrictGenericChecks 옵션을 이용하면 이런 에러를 피할 수 있음.