It's simply not needed, because we ensure that we never create two references to the same definition. More details coming in the PR.