Request: Class Decorator Mutation

If we can get this to type check properly, we would have perfect support for boilerplate-free mixins:

declare function Blah<T>(target: T): T & {foo: number}

@Blah
class Foo {
    bar() {
        return this.foo; // Property 'foo' does not exist on type 'Foo'
    }
}

new Foo().foo; // Property 'foo' does not exist on type 'Foo'

issue にある decorator と class の例を出発点として使用し、decorator の戻り値の型が class のインスタンス型とどのように関係するかを調査してください。Foo と new Foo().foo で報告されているエラーを対象とするテストを定義してください。完了の条件は、decorator の動作を後退させることなく、意図した mixin のプロパティが型チェックを通過することです。