Macro resolve

macro_rules! resolve {
    ($ctx:ident, $expr:expr) => { ... };
}

Resolves the type of a given expression.

Expects a &mut ExpressionContext and a Handle<Expression>.

Returns a &TypeResolution.

See the documentation of resolve_inner! for why this macro is necessary.