dmypy server always restart when using --shadow-file

Bug Report

dmypy server restart if an option is changed, while it makes sense for most options, I don't think it make sense for --shadow-file.

If the sources to check used temporary files and --shadow-file to help mypy to understand where this temporary file comes.
dmypy server restart on each dmypy run because of the temporary file name change or the source to check change.

Expected Behavior

dmypy ignores --shadow-file when it compares Options.snapshot() between the client and the server. So mypy daemon stay warm.

Actual Behavior

dmypy server always returns {"restart": "configuration changed"} to the client and get retarted.

Your Environment

• Mypy version used: 0.920
• Mypy command-line flags: --shadow-file myfile.py tempfile myfile.py
• Python version used: python 3.10
• Operating system and version: arch

Bắt đầu bằng cách lần theo việc dmypy so sánh client và server Options.snapshot() trong dmypy run, tập trung vào cách các thay đổi do --shadow-file kích hoạt phản hồi cấu hình đã thay đổi. Xác nhận rằng việc thay đổi tên tệp tạm thời hoặc đường dẫn nguồn không còn khởi động lại daemon, trong khi các thay đổi tùy chọn khác vẫn làm như vậy.