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

reimplement ~const Trait bounds via a fourth kind of generic param #101900

Closed
wants to merge 13 commits into from
Closed

reimplement ~const Trait bounds via a fourth kind of generic param #101900

wants to merge 13 commits into from

Commits on Jan 9, 2023

  1. Introduce effect datastructure

    @oli-obk
    oli-obk committed Jan 9, 2023
    Configuration menu
    Copy the full SHA
    37f6e29 View commit details
    Browse the repository at this point in the history

  2. In the transition period where not all operator traits are const_trai… 

    …t yet (including using keyword generics) reinstate the ICE on malformed operator trait declarations.
    @oli-obk
    oli-obk committed Jan 9, 2023
    Configuration menu
    Copy the full SHA
    8f57f7a View commit details
    Browse the repository at this point in the history

  3. Add TypeFoldable impls for effects

    @oli-obk
    oli-obk committed Jan 9, 2023
    Configuration menu
    Copy the full SHA
    1cd3a64 View commit details
    Browse the repository at this point in the history

  4. Add Lift impls for Effect

    @oli-obk
    oli-obk committed Jan 9, 2023
    Configuration menu
    Copy the full SHA
    57ec943 View commit details
    Browse the repository at this point in the history

  5. Add effect inference var unification table

    @oli-obk
    oli-obk committed Jan 9, 2023
    Configuration menu
    Copy the full SHA
    230f0ad View commit details
    Browse the repository at this point in the history

  6. Add effects to TypeRelation

    @oli-obk
    oli-obk committed Jan 9, 2023
    Configuration menu
    Copy the full SHA
    e523a95 View commit details
    Browse the repository at this point in the history

  7. Add effect generic param

    @oli-obk
    oli-obk committed Jan 9, 2023
    Configuration menu
    Copy the full SHA
    23f8475 View commit details
    Browse the repository at this point in the history

  8. Add GenericParamDefKind::Effect

    @oli-obk
    oli-obk committed Jan 9, 2023
    Configuration menu
    Copy the full SHA
    82f2130 View commit details
    Browse the repository at this point in the history

  9. Add canonicalization for effects

    @oli-obk
    oli-obk committed Jan 9, 2023
    Configuration menu
    Copy the full SHA
    6d5c679 View commit details
    Browse the repository at this point in the history

  10. Fiddle HirId through a bunch of methods

    @oli-obk
    oli-obk committed Jan 9, 2023
    Configuration menu
    Copy the full SHA
    490c462 View commit details
    Browse the repository at this point in the history

  11. Need to wait for derive_const to land on master before we can land ef… 

    …fects
    @oli-obk
    oli-obk committed Jan 9, 2023
    Configuration menu
    Copy the full SHA
    200b34d View commit details
    Browse the repository at this point in the history

  12. Generate effects for const fns and const traits under the effects f… 

    …eature gate
    @oli-obk
    oli-obk committed Jan 9, 2023
    Configuration menu
    Copy the full SHA
    5da0201 View commit details
    Browse the repository at this point in the history

  13. Add Callable trait for future simplification of const checks

    @oli-obk
    oli-obk committed Jan 9, 2023
    Configuration menu
    Copy the full SHA
    93b00a7 View commit details
    Browse the repository at this point in the history