DR 2586 fix value category in uses-allocator checks