fn resolve_block<'tcx>(
    visitor: &mut RegionResolutionVisitor<'tcx>,
    blk: &'tcx Block<'tcx>
)