1 2 3 4 5 6 7 8 9
// check-pass pub struct Tuple; pub trait Trait<const I: usize> { type Input: From<<Self as Trait<I>>::Input>; } fn main() {}