Function has

has<Input extends object, InputPath extends string | number>(
    input: Input,
    path: InputPath,
): input is Input

has<Input extends object, InputPath extends string | number>(
    input: Input,
    path: InputPath,
): input is {
    [Property in string | number | symbol]: (
        Input & Merge<Input, FromPath<InputPath, unknown>>
    )[Property]
}

has<InputPath extends string | number>(
    input: unknown,
    path: InputPath,
): input is FromPath<InputPath, unknown>