Doesn't that depend on what mode you use? Joint Stereo behaves as you describe, and is the common mode, but regular stereo mode encodes the two channels independently.
Seems like you could easily create an encoder that didn't do that, and just e.g. encoded each channel at 64kbps when a total of 128kbps is requested, but maybe none of the real-world encoders actually do this.