Можно ли в TypeScript сделать константный метод на подобии как в C++?

Question

[icetomcat]

Просто академический интерес =)
В целом в TypeScript есть всё необходимое, кроме одной проверки типов.

class Foo {
    public biz = 0

    bar(this: Readonly<Foo>) {
        this.baz() // <-- Тут происходит, как бы, неявный каст типа Readonly<Foo> в просто Foo
    }

    baz(this: Foo) { // Даже если здесь я явно укажу тип для this
        this.biz = 5
    }
}

Comments

[Lynn «Кофеман»]

Можно как-то так

[icetomcat]

Lynn «Кофеман», прикольно. Мне вот такой вариант пришел в голову. Но в моем случае болтаются поля с типом never, что не эстетично. Идея в том чтобы пометить все поля как readonly и выкинуть методы для которых this не определен как SafeType

[Lynn «Кофеман»]

icetomcat, какая-то чёрная магия и рекурсивный тип =)
Зато не нужно вручную перечислять плохие методы.

[Aetae]

icetomcat, в самой последей бетке ts(4.1) можно сделать так:

type SafeType<T> = {
  readonly [P in keyof T as T[P] extends Function ? ThisParameterType<T[P]> extends SafeType<T> ? P : never : P]: T[P]
}

Но только это всё фигня. Потому что:
1. ты можешь просто передать this внутри метода в какую-нить функцию, а та уже ничего не будет знать о твоей магии;
2. ты можешь творить такое только с публичными методами.

[Василий Банников]

Aetae, Lynn «Кофеман», icetomcat. Оформите как ответы.

[icetomcat]

Aetae, мдаа, из-за того что такое можно провернуть только с публичными полями, этот подход становится практически полностью бесполезным.