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

Anonymous constants in binders #35

Open
lcnr opened this issue Mar 23, 2022 · 0 comments
Open

Anonymous constants in binders #35

lcnr opened this issue Mar 23, 2022 · 0 comments
Labels
A-generic-exprs Generic const expressions C-design-docs Category: This is part of our design documentation K-impl Document Kind: regarding implementation P-necessary Priority: will be needed at some point S-active

Comments

@lcnr
Copy link
Contributor

lcnr commented Mar 23, 2022 •
edited
Loading

What is this

This is a design document for const generics. Any discussions about its content should be on zulip. The conclusions of these discussions should then be edited back into this issue. Please do not post any comments directly in this issue.

Content

fn foo()
where
    for<'a> [u8; std::mem::size_of::<&'a ()>()]: Sized,
{}

Use the tests from #79313
@lcnr lcnr added C-design-docs Category: This is part of our design documentation K-impl Document Kind: regarding implementation P-necessary Priority: will be needed at some point S-active A-generic-exprs Generic const expressions labels Mar 23, 2022
@rust-lang rust-lang locked and limited conversation to collaborators Mar 23, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
A-generic-exprs Generic const expressions C-design-docs Category: This is part of our design documentation K-impl Document Kind: regarding implementation P-necessary Priority: will be needed at some point S-active
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@lcnr