Will this one really be specialized? You're calling `boxingSpec[@spec T]` with `T = java.lang.Integer`, so `T` is not primitive `Int`, and the non-specialized version of the `boxingSpec` should in the end be called, iiuc.
But, maybe I'm misunderstanding what's the intent of this test.