// check-pass | |
#![feature(inherent_associated_types, generic_const_exprs)] | |
#![allow(incomplete_features)] | |
struct Parent<const O: usize>; | |
impl<const O: usize> Parent<O> { | |
type Mapping<const I: usize> = Store<{ O + I }> | |
where | |
[(); O + I]: | |
; | |
} | |
struct Store<const N: usize>; | |
impl<const N: usize> Store<N> { | |
const REIFIED: usize = N; | |
fn reify() -> usize { | |
N | |
} | |
} | |
fn main() { | |
let _ = Parent::<2>::Mapping::<{ 12 * 2 }>::REIFIED; | |
let _ = Parent::<1>::Mapping::<{ 2 * 5 }>::reify(); | |
} |