Anonymous constants in binders

[lcnr]

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