Тип класса со всеми членами одного типа

Невозможно заставить машинописный текст вывести тип члена, отличный от выражения инициализации.

Тем не менее, мы можем добиться аналогичного эффекта, а именно:

1. Результирующий объект может содержать только поля типа, совместимого с fs.PathLike (и мы получим ошибку, если назначим тип, несовместимый с fs.PathLike)
2. Тип всех полей должен быть fs.PathLike независимо от присвоенного им исходного типа (которым может быть string | Buffer | URL);

Для этого мы будем использовать дополнительную функцию, которая будет принимать объект, поля которого имеют неявный тип. Ограничение типа для универсального параметра функции вызовет ошибку, если мы передадим объект с полями, которые не совместимы с fs.PathLike или контейнером других путей. Эта функция вернет новый тип, в котором все исходные типы полей будут заменены на fs.PathLike.

type PathLikeContainer<T> = {
    [P in keyof T] : T[P] extends fs.PathLike ? fs.PathLike : T[P] extends object ? PathLikeContainer<T[P]> : never;
}
function asPathContainer<T extends PathLikeContainer<T>>(p: T) : PathLikeContainer<T>{
    return p;
}

class CONSTANT {
    static readonly PATH = asPathContainer(new class {
        readonly RELATIVE = new class {
            readonly AFTER_EFFECTS_TEMPLATE_FILENAME = '\\video-template.aep';
            readonly AFTER_EFFECTS_TEMPLATE_BINARY_VERSION = `\\assets\\aep-template\\src${this.AFTER_EFFECTS_TEMPLATE_FILENAME}`;
            readonly AFTER_EFFECTS_TEMPLATE_XML_VERSION = '\\assets\\aep-template\\intermediates\\video-template.aepx';
            readonly RELATIVE_PATH_TO_AFTER_EFFECTS = '\\Adobe\\Adobe After Effects CC 2018\\Support Files\\AfterFX.exe';
            readonly OUTPUT_DIRECTORY_NAME = '\\output';
            readonly INPUT_DIRECTORY_NAME = '\\input';
            readonly ASSETS_DIRECTORY_NAME = '\\assets';
            //readonly INVALID = 0; // will be an error
        }; 
    })
}


CONSTANT.PATH.RELATIVE.AFTER_EFFECTS_TEMPLATE_BINARY_VERSION //fs.PathLike