fn resolve_local<'tcx>(
    visitor: &mut RegionResolutionVisitor<'tcx>,
    pat: Option<&'tcx Pat<'tcx>>,
    init: Option<&'tcx Expr<'tcx>>
)