nlist 0.1.1

inline-allocated list with statically tracked length
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

#![allow(dead_code)]

/// Hack for implying a trait on type parameters.
/// 
/// credit: https://docs.rs/imply-hack/latest/imply_hack/
pub trait Imply<T: ?Sized>: imply_inner::ImplyInner<T, Is = T> {}

impl<T: ?Sized, U: ?Sized> Imply<T> for U {}

mod imply_inner {
    pub trait ImplyInner<T: ?Sized> {
        type Is: ?Sized;
    }
    
    impl<T: ?Sized, U: ?Sized> ImplyInner<T> for U {
        type Is = T;
    }
}