Function constrain_get 

pub fn constrain_get<R, V, F>(f: F) -> F
where
    F: for<'b> Fn(&'b R) -> Option<&'b V>,

Forces the compiler to treat a closure as for<'b> Fn(&'b R) -> Option<&'b V>.