ThisType is invalid when using object spread on generic object

Bug Report

🔎 Search Terms

ThisType Object Spread Generic

🕗 Version & Regression Information

• I was unable to test this on prior versions because I was not using this feature previously

⏯ Playground Link

Playground link with relevant code

💻 Code

function createObject<D extends {}>(def: D & ThisType<D>) { /* some code */ }

const namableObject = { name: '' };
// ThisType will be wrongly typed when using object spread
const spreadObject = createObject({
  ...namableObject,
  get thisName() {
    return this.name; // <-- Property 'name' does not exists on type '{}'
  },
});
// Correctly typed otherwise
const fullObject = createObject({
  name: '',
  get thisName() {
    return this.name;
  },
});

🙁 Actual behavior

The generic type is broken when the given object value contains a spread object.

🙂 Expected behavior

The generic type should contain the spreaded object properties as those are finally included into the result object.

Comment

This may be related to #26412 and other issues like this one but I didn't found a workarround to get a ThisType correctly typed.

Bắt đầu với bản tái hiện được liên kết trong TypeScript Playground và so sánh các lệnh gọi createObject có và không có spread để theo dõi cách suy luận generic xử lý đối tượng spread và ngữ cảnh ThisType; hoàn thành khi getter trong spreadObject nhận ra thuộc tính name mà không gây hồi quy cho trường hợp fullObject hiện có.