Function check_ref 

pub fn check_ref<'a, T: ?Sized, Pre, Post, E, F>(
    f: F,
) -> impl Check<&'a T, Pre, PostState = Post, Error = E>
where
    F: Fn(&T) -> Result<(), E>,