采用任何类型及其子类型的函数

Question

我想写下面这个函数

function override<T, U>(first: T, second: U): T {
    let result = <T>{};
    for (let id in first) {
        result[id] = first[id];
    }
    for (let id in second) {
        result[id] = second[id];
    }
    return result;
}

但要使其类型安全。在我的用例中，T和U都是简单的记录类型。我希望T必须拥有U的所有属性。有没有办法表达这种关系？