1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
// check-pass #![allow(dead_code)] // pretty-expanded FIXME #23616 trait PoolManager { type C; fn dummy(&self) { } } struct InnerPool<M> { manager: M, } impl<M> InnerPool<M> where M: PoolManager {} fn main() {}