Re: [PATCH v2 1/2] rust: lockdep: Remove support for dynamically allocated LockClassKeys