TypeScriptでのProxy利用時のエラー

Question

概要

以下のようなコードでProxyインスタンスオブジェクトの型がObject型になってしまって対象のオブジェクトをラップしたものとして機能しないので困っています

let target = {
  name: 'Mike',
  age: 17,
}
const handler: ProxyHandler<Object> = {
  set: function(target, p: PropertyKey, value: any, receiver: any): boolean {
    console.log(`${String(p)} is forbidden to change`)
    return false
  },
}
let proxy = new Proxy(target, handler)
proxy.age = 99 // Error プロパティ 'age' は型 'Object' に存在しません。

上記の 'proxy'の型がObjectなのでエラーは当然なのですが、なぜこのインスタンスの型が対象オブジェクトのtargetの型になってくれないのでしょうか？Proxyの型定義を見る限りではコンストラクタの返す型はそのまま対象オブジェクトの型が返るように見えるのですが

// lib.es2015.proxy.d.ts
interface ProxyConstructor {
    revocable<T extends object>(target: T, handler: ProxyHandler<T>): { proxy: T; revoke: () => void; };
    new <T extends object>(target: T, handler: ProxyHandler<T>): T;
}
declare var Proxy: ProxyConstructor;

以下に修正して解決

let target = {
  name: 'Mike',
  age: 17,
}
const handler: ProxyHandler<typeof target> = {
  set: function(target, p: PropertyKey, value: any, receiver: any): boolean {
    console.log(`${String(p)} is forbidden to change`)
    return false
  },
}
let proxy = new Proxy(target, handler)
proxy.age = 99

Answer 1

おそくなりました。
ありがとうございます。対象のオブジェクトの型をこのジェネリクスの部分におくのですね！その型定義を確認していれば、targetがTであることからそうすべきことがわかったかもしれません。

interface ProxyHandler<T extends object> {
    getPrototypeOf? (target: T): object | null;
    setPrototypeOf? (target: T, v: any): boolean;
    isExtensible? (target: T): boolean;
    preventExtensions? (target: T): boolean;
    getOwnPropertyDescriptor? (target: T, p: PropertyKey): PropertyDescriptor | undefined;
    has? (target: T, p: PropertyKey): boolean;
    get? (target: T, p: PropertyKey, receiver: any): any;
    set? (target: T, p: PropertyKey, value: any, receiver: any): boolean;
    deleteProperty? (target: T, p: PropertyKey): boolean;
    defineProperty? (target: T, p: PropertyKey, attributes: PropertyDescriptor): boolean;
    enumerate? (target: T): PropertyKey[];
    ownKeys? (target: T): PropertyKey[];
    apply? (target: T, thisArg: any, argArray?: any): any;
    construct? (target: T, argArray: any, newTarget?: any): object;
}

Answer 2

Proxyの型定義を見る限りではコンストラクタの返す型はそのまま対象オブジェクトの型が返るように見えるのですが

見えません。ProxyHandler<Object>をhandlerとして渡す以上、TはObjectに決まってしまいます。

const handlerの型を、きちんとProxyHandler<typeof target>としておきましょう。