As both a US and EU citizen who lives in the EU, I actually run into issues with this. I book my flight with my US with my US passport, and it's a round trip, so it ends up with the same passport registered. I go through the EU line upon entering the EU, but they consistently also ask me for my US passport. This hasn't happened on the automated kiosks for whatever reason.