nevermind, i thought this was a future change, but it's already live. i've been using 3.7.4, and can confirm that two dictionaries with equivalent key,value pairs, even if inserted in a different order, are considered abstractly equal.

this coincidentally came up for me this morning on a small interview challenge: https://dev.to/candidateplanet/comment/l8o2