Is `ObsoleteMutWithMultipleBindings` unused after this removal?