blob: 8886a556dbb25f06f364b7ee4a8d6ac305c43eba (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
// revisions: rpass
#![feature(generic_const_exprs)]
#![allow(incomplete_features)]
pub struct Ref<'a, const NUM: usize>(&'a i32);
impl<'a, const NUM: usize> Ref<'a, NUM> {
pub fn foo<const A: usize>(r: Ref<'a, A>) -> Self
where
([(); NUM - A], [(); A - NUM]): Sized,
{
Self::bar(r)
}
pub fn bar<const A: usize>(r: Ref<'a, A>) -> Self
where
([(); NUM - A], [(); A - NUM]): Sized,
{
Self(r.0)
}
}
fn main() {}
|