TypeScript require generic parameter to be provided

Question

I have the following function:

async function get<U>(url: string): Promise<U> {     return getUrl<u>(url); } 

However, it is possible to call it like this (U is set to any by TS):

get('/user-url'); 

Is there a way to define this function such that it requires U to be provided explicitly, as in

get<User>('/user-url'); 

Answer 1

There is no built-in support for this, we can however engineer a scenario where not passing in a type parameter will generate an error, using default generic type arguments and conditional types. Namely we will give U a default value of void. If the default value is the actual value of U, then we will type the parameter to the function as something that should not really be passed in so as to get an error:

async function get<U = void>(url: string & (U extends void ? "You must provide a type parameter" : string)): Promise<U> {     return null as any; }  get('/user-url'); // Error Argument of type '"/user-url"' is not assignable to parameter of type '"You must provide a type parameter"'.  class User {} get<User>('/user-url'); 

The error message is not ideal, but I think it will get the message across.

Edit: For a solution where the type parameter is used in parameter types see here