Hice una sobrecarga genérica para Enum.HasFlag que evita el boxeo:

 public static unsafe bool HasFlag<T>(this T enumVal, T flag) where T : unmanaged, Enum { return sizeof(T) switch { 1 => (*(byte*)&enumVal & *(byte*)&flag) == *(byte*)&flag, 2 => (*(ushort*)&enumVal & *(ushort*)&flag) == *(ushort*)&flag, 4 => (*(uint*)&enumVal & *(uint*)&flag) == *(uint*)&flag, 8 => (*(ulong*)&enumVal & *(ulong*)&flag) == *(ulong*)&flag, _ => throw new ArgumentException("Unsupported base enum Type") }; }

Sin embargo, el compilador todavía quiere usar el Enum.HasFlag predeterminado en su lugar y tengo que definir explícitamente el tipo genérico para forzarlo a usar la extensión.

El método de extensión debe tener prioridad aquí, ya que los parámetros tienen el tipo correcto y no necesitan una conversión de tipo implícita en comparación con el original, entonces, ¿por qué el compilador sigue usando el incorrecto?