Type Alias SafeExtendShape<Base, Ext>

SafeExtendShape: {
    [K in keyof Ext]: K extends keyof Base
        ? z.core.output<Ext[K]> extends z.core.output<Base[K]>
            ? z.core.input<Ext[K]> extends z.core.input<Base[K]> ? Ext[K] : never
            : never
        : Ext[K]
}