Function comparison_of 

fn comparison_of<'gcx>(
    gcx: Gcx<'gcx>,
    expr: &'gcx Expr<'gcx>,
) -> Option<Comparison>

A comparison of one resolved integer variable (possibly cast) against a constant.