Why doesn't `@nospecialize` work in this example?

General Usage
7

Hmm, even @noinline Base.@constprop :none has_trait(@nospecialize x) = true ends up creating new methods.

Is all this expected behavior or should I file an issue?

Should Base.inferencebarrier be documented?