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

Move Yoke over to GATs #6057

Open
Manishearth opened this issue Feb 2, 2025 · 1 comment
Open

Move Yoke over to GATs #6057

Manishearth opened this issue Feb 2, 2025 · 1 comment
Labels
C-zerovec Component: Yoke, ZeroVec, DataBake
Milestone
Utilities 1.0

Comments

@Manishearth
Copy link
Member

<T as Yokeable<'a>>::Output is just a way of saying Self<'a> in a GAT-less world.

Now that GATs are rather stable and well inside our MSRV, we should use them.
@Manishearth Manishearth added the C-zerovec Component: Yoke, ZeroVec, DataBake label Feb 2, 2025
@Manishearth Manishearth added this to the Utilities 1.0 milestone Feb 2, 2025
@Manishearth
Copy link
Member Author

Manishearth commented Feb 2, 2025 •
edited
Loading

At the very least the trait should lose its lifetime and the lifetime should move to the associated type. This should greatly reduce all of our for<'a>s

It's unclear to me if something like Self<'a> is possible, we'd be able to lose the associated type with that.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
C-zerovec Component: Yoke, ZeroVec, DataBake
Projects
None yet
Milestone
Utilities 1.0
Development

No branches or pull requests
1 participant
@Manishearth