Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

types: avoid unnecessary MergeType<> if TOverrides not set, clean up statics and insertMany() type issues #13577

Merged
merged 5 commits into from
Jul 10, 2023
Merged

types: avoid unnecessary MergeType<> if TOverrides not set, clean up statics and insertMany() type issues #13577

merged 5 commits into from
Jul 10, 2023

Commits on Jul 4, 2023

  1. types: remove unnecessary FlatRecord type

    @vkarpov15
    vkarpov15 committed Jul 4, 2023
    Configuration menu
    Copy the full SHA
    9b82bf5 View commit details
    Browse the repository at this point in the history

  2. types: avoid unnecessary MergeType<> if TOverrides not set, clean up … 

    …statics and insertMany() type issues

Fix #13529
    @vkarpov15
    vkarpov15 committed Jul 4, 2023
    Configuration menu
    Copy the full SHA
    8adc84d View commit details
    Browse the repository at this point in the history

  3. types: add back FlatRecord export for backwards compat

    @vkarpov15
    vkarpov15 committed Jul 4, 2023
    Configuration menu
    Copy the full SHA
    cb33093 View commit details
    Browse the repository at this point in the history

Commits on Jul 7, 2023

  1. Merge branch 'master' into vkarpov15/gh-13529

    @vkarpov15
    vkarpov15 committed Jul 7, 2023
    Configuration menu
    Copy the full SHA
    79a4bda View commit details
    Browse the repository at this point in the history

  2. types: apply suggested alternative handling for TOverrides = any

    @vkarpov15
    vkarpov15 committed Jul 7, 2023
    Configuration menu
    Copy the full SHA
    8b8f37b View commit details
    Browse the repository at this point in the history