Assuming I'm interpreting what you're saying here correctly, this seems wrong? For example, this compiles [0]:
const fn foo(n: usize) -> usize { n + 1 } fn bar<const N: usize>() -> usize { N + 1 } pub fn baz() -> usize { bar::<{foo(0)}>() }
[0]: https://rust.godbolt.org/z/rrE1Wrx36
Assuming I'm interpreting what you're saying here correctly, this seems wrong? For example, this compiles [0]:
In any case, I'm a little confused how this is relevant to what I said?[0]: https://rust.godbolt.org/z/rrE1Wrx36