How can we determine if an index can be satisfied by a constraint index?

For example, does the FK need to be the first field in a unique together?