This should render as a red circle, but in iOS Safari, it doesn’t (as of June 1, 2020):

This renders correctly as a green circle in all modern browsers (as of June 1, 2020):