Temporarily disabling filters in WordPress

01-common-example.php

<?php // Common way to do it:
remove_filter( 'the_title', 'wptexturize' );
$title = get_the_title();
add_filter( 'the_title', 'wptexturize' );

02-conditionally-restore-filter.php

<?php // More robust way to do it, but oh so verbose:
$filter_priority = has_filter( 'the_title', 'wptexturize' );
if ( false !== $filter_priority ) {
	remove_filter( 'the_title', 'wptexturize', $filter_priority );
}
$title = get_the_title( $post_ID );
if ( false !== $filter_priority ) {
	add_filter( 'the_title', 'wptexturize', $filter_priority );
}

03-filter-removal-wrapper-usage.php

<?php // What if we could do this:
$title = with_filter_disabled( 'the_title', 'wptexturize', function () {
	return get_the_title();
} );

04-filter-removal-wrapper-func.php

<?php
/**
 * Run $callback with the $handler disabled for the $hook action/filter
 * @param string $hook filter name
 * @param callable $handler function
 * @param callable $callback function execited while filter disabled 
 * @return mixed value returned by $callback
 */
function with_filter_disabled( $hook, $handler, $callback ) {
	$priority = has_filter( $hook, $handler );
	if ( false !== $priority ) {
		remove_filter( $hook, $handler, $priority );
	}
	$retval = call_user_func( $callback );
	if ( false !== $priority ) {
		$accepted_args = PHP_INT_MAX; // for array_slice, can't use null since cast to int
		add_filter( $hook, $handler, $priority, $accepted_args );
	}
	return $retval;
}

Any Ideas how to get around WordPress.WP.GlobalVariablesOverride.Prohibited,
which pops up at $wp_filter[ $hook ] = $wp_hook; ?