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.

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

Support for Generic Associated Types #477

Open
R1kM opened this issue Nov 28, 2024 · 2 comments
Open

Support for Generic Associated Types #477

R1kM opened this issue Nov 28, 2024 · 2 comments
Labels
C-unsupported-language-feature A rust feature we don't extract well

Comments

@R1kM
Copy link
Member

R1kM commented Nov 28, 2024

E.g.

trait LendingIterator {
    type Item<'a>
    where
        Self: 'a;

    fn next<'a>(&'a mut self) -> Option<Self::Item<'a>>;
}
@Nadrieril Nadrieril added the C-unsupported-language-feature A rust feature we don't extract well label Nov 28, 2024
@sonmarcho
Copy link
Member

Where did you encounter GATs? On code you analysed with Charon or on code you want to verify?

@Nadrieril
Copy link
Member

There's a common trait in the rust-crypto ecosystem that has GATs. But this was just an issue to track known unsupported features.

@Nadrieril Nadrieril changed the title Support for Generalized Associated Types Support for Generic Associated Types Jan 6, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
C-unsupported-language-feature A rust feature we don't extract well
Projects
None yet
Development

No branches or pull requests

3 participants