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

Experimental variant on #57465 with two optimizations #57660

Closed
wants to merge 29 commits into from
Closed

Experimental variant on #57465 with two optimizations #57660

wants to merge 29 commits into from

Commits on Feb 20, 2024

  1. Infer type predicates from function bodies

    @danvk
    danvk committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    0c24ccc View commit details
    Browse the repository at this point in the history

Commits on Feb 21, 2024

  1. Run formatter

    @danvk
    danvk committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    e2684f1 View commit details
    Browse the repository at this point in the history

  2. Add secondary subtype check and tests

    @danvk
    danvk committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    101df93 View commit details
    Browse the repository at this point in the history

  3. add union type test to baselines

    @danvk
    danvk committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    d0e385e View commit details
    Browse the repository at this point in the history

Commits on Feb 23, 2024

  1. add prisma circularity test with failing baseline

    @danvk
    danvk committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    a72b1f1 View commit details
    Browse the repository at this point in the history

  2. Various fixes for circularity issue

    @danvk
    danvk committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    ef2d465 View commit details
    Browse the repository at this point in the history

  3. circularity test is fixed

    @danvk
    danvk committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    9336052 View commit details
    Browse the repository at this point in the history

  4. revert back to CheckMode.TypeOnly

    @danvk
    danvk committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    41f624d View commit details
    Browse the repository at this point in the history

  5. Add test case for a predicate that throws

    @danvk
    danvk committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    52df115 View commit details
    Browse the repository at this point in the history

Commits on Feb 26, 2024

  1. Drop isTriviallyNonBoolean, switch to simpler test, check for assertions

    @danvk
    danvk committed Feb 26, 2024
    Configuration menu
    Copy the full SHA
    3ab6fae View commit details
    Browse the repository at this point in the history

Commits on Feb 29, 2024

  1. Use unescapeLeadingUnderscores

    @danvk
    danvk committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    9591231 View commit details
    Browse the repository at this point in the history

  2. tests are fixed

    @danvk
    danvk committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    9a8c0a1 View commit details
    Browse the repository at this point in the history

Commits on Mar 1, 2024

  1. Always bind flow nodes to return statements + other fixes

    @ahejlsberg
    ahejlsberg committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    a4ff6b4 View commit details
    Browse the repository at this point in the history

  2. Accept new baselines

    @ahejlsberg
    ahejlsberg committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    869422f View commit details
    Browse the repository at this point in the history

  3. Merge branch 'suggested-changes-57465' into infer-type-predicate-16069

    @danvk
    danvk committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    adbdc7d View commit details
    Browse the repository at this point in the history

  4. simplify

    @danvk
    danvk committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    0dec9c6 View commit details
    Browse the repository at this point in the history

Commits on Mar 2, 2024

  1. Delay expensive functionHasImplicitReturn call

    @ahejlsberg
    ahejlsberg committed Mar 2, 2024
    Configuration menu
    Copy the full SHA
    703253a View commit details
    Browse the repository at this point in the history

  2. Avoid creating closures

    @ahejlsberg
    ahejlsberg committed Mar 2, 2024
    Configuration menu
    Copy the full SHA
    c7f1c3d View commit details
    Browse the repository at this point in the history

  3. Add fallback isTypeAssignableTo check to test for equivalence

    @danvk
    danvk committed Mar 2, 2024
    Configuration menu
    Copy the full SHA
    25743a3 View commit details
    Browse the repository at this point in the history

Commits on Mar 3, 2024

  1. try caching the antecedent

    @danvk
    danvk committed Mar 3, 2024
    Configuration menu
    Copy the full SHA
    4e79d76 View commit details
    Browse the repository at this point in the history

  2. revert fallback assignability check

    @danvk
    danvk committed Mar 3, 2024
    Configuration menu
    Copy the full SHA
    a5725d2 View commit details
    Browse the repository at this point in the history

Commits on Mar 4, 2024

  1. Revert "try caching the antecedent" 

    This reverts commit 4e79d76.
    @danvk
    danvk committed Mar 4, 2024
    Configuration menu
    Copy the full SHA
    3323573 View commit details
    Browse the repository at this point in the history

  2. Merge commit 'c7f1c3d309' into infer-type-predicate-16069

    @danvk
    danvk committed Mar 4, 2024
    Configuration menu
    Copy the full SHA
    76a5abd View commit details
    Browse the repository at this point in the history

Commits on Mar 5, 2024

  1. implement the never bailout

    @danvk
    danvk committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    8edd119 View commit details
    Browse the repository at this point in the history

  2. attempt to implement === fast path

    @danvk
    danvk committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    9479ed8 View commit details
    Browse the repository at this point in the history

  3. add === test and baselines

    @danvk
    danvk committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    f833865 View commit details
    Browse the repository at this point in the history

Commits on Mar 6, 2024

  1. make at most two calls to getFTOR for big unions

    @danvk
    danvk committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    51a8970 View commit details
    Browse the repository at this point in the history

  2. comments, format

    @danvk
    danvk committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    348509a View commit details
    Browse the repository at this point in the history

  3. getTypeOfExpression -> checkExpressionCached

    @danvk
    danvk committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    fd8db07 View commit details
    Browse the repository at this point in the history