fn resolve_pat<'tcx>(
    visitor: &mut RegionResolutionVisitor<'tcx>,
    pat: &'tcx Pat<'tcx>
)