Function expr_ty 

fn expr_ty(
    ctx: &AssistContext<'_, '_>,
    make: &SyntaxFactory,
    arg: Expr,
    scope: &SemanticsScope<'_>,
) -> Option<Type>