Did you actually see a measureable improvement by marking this `inline(never)`? It'll already almost never be inlined because it's not cross-crate instantiated (no type parameters like the mutex).

Recently I've seen failing code have *excellent* codegen.