Function check_noref 

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