typescript 中 interface 和泛型描述一个参数的区别

下面有两个函数，mergeObj 函数使用 interface 定义，copyFields 使用泛型定义；使用泛型定义的可以能正常提示出错误，而 mergeObj 不行；如果要使用 interface 实现下面泛型的功能，要如何修改？

// 泛型，多个类型参数互联约束

// target 类型要包含 source 的类型

interface Source { }

interface Target extends Source { }

function mergeObj(target:Target, source:Source): Target { for (let key in source){ target[key]=(source)[key]; } return target; }

let obj={a:1, b:2}; let obj2={c:4};

console.log(mergeObj(obj, obj2)); // 没有报错提示

function copyFields<T extends U, U>(target: T, source: U): T { for (let id in source) { target[id] = (<T>source)[id]; } return target; }

let x = { a: 1, b: 2 };

copyFields(x, { c: 10 });