fn resolve_expr<'tcx>(
    visitor: &mut RegionResolutionVisitor<'tcx>,
    expr: &'tcx Expr<'tcx>
)