but there still exist an issue in type checking https://github.com/microsoft/TypeScript/issues/39064