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

[red-knot] Remove Type::Unbound #13980

Draft
wants to merge 18 commits into
base: main
Choose a base branch
from
Draft

[red-knot] Remove Type::Unbound #13980

wants to merge 18 commits into from
+587 −400

Commits on Oct 30, 2024

  1. [red-knot] remove Type::Unbound, add SymbolLookupResult

    @sharkdp
    sharkdp committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    f16a14a View commit details
    Browse the repository at this point in the history

  2. Fix clippy suggestions

    @sharkdp
    sharkdp committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    3cadfbe View commit details
    Browse the repository at this point in the history

  3. Fix 4 more tests

    @sharkdp
    sharkdp committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    59de59c View commit details
    Browse the repository at this point in the history

  4. Yield possibly-unbound diagnostics

    @sharkdp
    sharkdp committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    dcbf8c9 View commit details
    Browse the repository at this point in the history

  5. Fix unary test

    @sharkdp
    sharkdp committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    58e4bc0 View commit details
    Browse the repository at this point in the history

  6. Fix binary/instances test

    @sharkdp
    sharkdp committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    f449a91 View commit details
    Browse the repository at this point in the history

  7. Maybe-unboundedness

    @sharkdp
    sharkdp committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    c3314ae View commit details
    Browse the repository at this point in the history

  8. Fix one more test

    @sharkdp
    sharkdp committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    ec829bd View commit details
    Browse the repository at this point in the history

  9. 'Fix' remaining tests

    @sharkdp
    sharkdp committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    2e8415b View commit details
    Browse the repository at this point in the history

  10. Get rid of clone's

    @sharkdp
    sharkdp committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    593de02 View commit details
    Browse the repository at this point in the history

  11. Get rid of todo_unwrap_type

    @sharkdp
    sharkdp committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    b003abd View commit details
    Browse the repository at this point in the history

  12. Cleanup

    @sharkdp
    sharkdp committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    a784044 View commit details
    Browse the repository at this point in the history

  13. Fix clippy suggestions

    @sharkdp
    sharkdp committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    25a8874 View commit details
    Browse the repository at this point in the history

  14. Update expected diagnostics

    @sharkdp
    sharkdp committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    0cfb6dd View commit details
    Browse the repository at this point in the history

  15. Rename Bound => Type

    @sharkdp
    sharkdp committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    99337b2 View commit details
    Browse the repository at this point in the history

  16. Fix member() on union types

    @sharkdp
    sharkdp committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    39d6b89 View commit details
    Browse the repository at this point in the history

  17. Get rid of most .unwrap_or(Type::Never) calls

    @sharkdp
    sharkdp committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    e3a7aa1 View commit details
    Browse the repository at this point in the history

  18. Remove #[ignore]

    @sharkdp
    sharkdp committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    54998b3 View commit details
    Browse the repository at this point in the history