TS Pull Request outlining why methods are not strictly checked: "The stricter checking applies to all function types, except those originating in method or construcor declarations. Methods are excluded specifically to ensure generic classes and interfaces (such as Array<T>) continue to mostly relate covariantly."

Good explanation of covariance and contravariance in TS.