In my view, sections with a toolchain marker are more specific than version markers, and thus those sections with a toolchain marker should win?
This is probably a matter of taste/opinion, which is exactly why this shouldn't happen without warning.