TS type inference 2

app-code.ts

const userService = new HttpService<User>();
const user = { id: 1, name: '' };
userService.save(user) // user type is inferred to be User
    .then(resp => { // resp type is inferred to be HttpResponse
      console.log(resp.data.name); // resp.data is inferred to be User
    });

app-core.ts

export interface User {
    id: number;
    name: string;
}

library.ts

export interface HttpResponse<T> {
    data: T;
}
export class HttpService<T> {
    save(data: T): Promise<HttpResponse<T>> {
        return Promise.resolve({data});
    };
}