Astronomers inspect the formation of millisecond pulsar PSR J1946+3417