Type Alias IfWritable<T, K, Yes, No>

IfWritable: <G>() => G extends { [Q in K]: T[K] } ? 1 : 2 extends <G>() => G extends {
    readonly [Q in K]: T[K]
}
    ? 1
    : 2
    ? No
    : Yes