On my (fedora) system I can ping 127.anything and the host responds. I think in practice it is indeed implemented. I haven't used windows/macos in a very long time but I think the same applies. (Also in fedora by default systemd-resolved binds to 127.0.0.53)