negating type constraints

Sometimes it's useful to put a limit on what a type parameter can be. In a way it is a counterpart of the extends constraint.

Problem

Consider an example, a classic function that takes whatever and returns void:

function ignore<a>(value: a) : void {};

However we must not apply this function to Promises, because it might get us a temporal leak if we do.

function readFileAsync(): Promise<string>;
ignore(readFileAsync()); // <-- untracked promise, temporal leak

Unfortunately it is way too easy to get into a situation when a promise is passed to that function unintentionally as a result of refactoring:

// before
function readFileSync(): string;
ignore(readFileSync()); // typechecks, works as intended, no problem

// after refactoring
function readFileAsync(): Promise<string>; // <-- went async here
ignore(readFileAsync()); // typechecks, unintended temporal leak, big problem

Solution

The situation above could have been avoided if TypeScript allowed negating constraints:

function ignore<a unlike Promise<any>>(value: a): void {} // <-- hypothetical syntax

Bắt đầu với cú pháp unlike được đề xuất và phần so sánh trong issue với các constraint extends hiện có. Xem xét hành vi của TypeScript đối với generic constraint và việc kiểm tra kiểu, sau đó xác định cách loại trừ Promise<any> sẽ hoạt động trong các trường hợp tái cấu trúc được nêu; công việc chỉ được xem là hoàn tất khi có thiết kế đã được thống nhất cùng với phần triển khai và các bài kiểm thử, vì không có tệp hoặc điểm vào kiểm thử nào được nêu tên.