fn extract_for_loop<'tcx>(
    expr: &Expr<'tcx>
) -> Option<(&'tcx Pat<'tcx>, &'tcx Expr<'tcx>)>