Function cleaver::analysis::types::check_call

pub fn check_call<'a>(ctx: &Context,
                      expr: &'a Node<Expression>)
                      -> Result<'a, ()>