Function cleaver::analysis::types::expect

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