No error for callback returned value wrong field

[artaommahe]

TypeScript Version: 2.7.1

Code

interface IState {
  smth: string;
}

let state: IState = { smth: '' };

function update(callback: (state: IState) => IState): void {
  state = callback(state);
}

// no error here for wrong field
update(state => ({ ...state, smth2: '' }));
// and here too
update(state => ({ smth: '', smth2: '' }));

// this will mark an error
update(state => {
  state = { ...state, smth2: '' };
  return state;
});

Expected behavior:
Mark an error for wrong field

Actual behavior:
No error for wrong field

Playground Link:
https://stackblitz.com/edit/typescript-callback-return-type-error?file=index.ts

[ghost]

Duplicate of #12632.

[typescript-bot]

Automatically closing this issue for housekeeping purposes. The issue labels indicate that it is unactionable at the moment or has already been addressed.