Remove needless custom implementation of `None.infix==` #3287

Job	Run time
Determine compiler version from git tag	1s
Ubuntu dev container/Debug	31m 53s
Native: macos-13/debug/Ninja	45m 54s
Ubuntu dev container/Release	21m 21s
Native: macos-13/debug/Xcode	24m 34s
Native: macos-13/release/Ninja	29m 36s
Native: macos-13/release/Xcode	13m 29s
Native: ubuntu-latest/debug/Ninja	30m 30s
Native: ubuntu-latest/release/Ninja	20m 44s
Native: windows-latest/debug/Ninja	11m 31s
Native: windows-latest/release/Ninja	16m 26s
	4h 5m 59s

Provide feedback