[Info - 16:15:24] checking file:///c%3A/Users/19454/Desktop/main.er
thread '<unnamed>' panicked at 'internal error: entered unreachable code', C:\Users\19454\.cargo\registry\src\mirrors.ustc.edu.cn-61ef6e0cd06fb9b8\erg_compiler-0.6.1\ownercheck.rs:114:77
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
thread 'main' panicked at 'called `Result::unwrap()` on an `Err` value: Any { .. }', C:\Users\19454\.cargo\registry\src\mirrors.ustc.edu.cn-61ef6e0cd06fb9b8\erg_common-0.6.1\spawn.rs:31:22
[Info - 16:15:24] Connection to server got closed. Server will restart.
[Info - 16:15:24] initializing ELS
[Info - 16:15:24] successfully bound
[Info - 16:15:24] textDocument/didOpen: file:///c%3A/Users/19454/Desktop/main.er
[Info - 16:15:24] checking file:///c%3A/Users/19454/Desktop/main.er
thread '<unnamed>' panicked at 'internal error: entered unreachable code', C:\Users\19454\.cargo\registry\src\mirrors.ustc.edu.cn-61ef6e0cd06fb9b8\erg_compiler-0.6.1\ownercheck.rs:114:77
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
thread 'main' panicked at 'called `Result::unwrap()` on an `Err` value: Any { .. }', C:\Users\19454\.cargo\registry\src\mirrors.ustc.edu.cn-61ef6e0cd06fb9b8\erg_common-0.6.1\spawn.rs:31:22
[Info - 16:15:24] Connection to server got closed. Server will restart.
[Info - 16:15:24] initializing ELS
[Info - 16:15:24] successfully bound
[Info - 16:15:24] textDocument/didOpen: file:///c%3A/Users/19454/Desktop/main.er
[Info - 16:15:24] checking file:///c%3A/Users/19454/Desktop/main.er
thread '<unnamed>' panicked at 'internal error: entered unreachable code', C:\Users\19454\.cargo\registry\src\mirrors.ustc.edu.cn-61ef6e0cd06fb9b8\erg_compiler-0.6.1\ownercheck.rs:114:77
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
thread 'main' panicked at 'called `Result::unwrap()` on an `Err` value: Any { .. }', C:\Users\19454\.cargo\registry\src\mirrors.ustc.edu.cn-61ef6e0cd06fb9b8\erg_common-0.6.1\spawn.rs:31:22
[Info - 16:15:24] Connection to server got closed. Server will restart.
[Info - 16:15:24] initializing ELS
[Info - 16:15:24] successfully bound
[Info - 16:15:24] textDocument/didOpen: file:///c%3A/Users/19454/Desktop/main.er
[Info - 16:15:24] checking file:///c%3A/Users/19454/Desktop/main.er
thread '<unnamed>' panicked at 'internal error: entered unreachable code', C:\Users\19454\.cargo\registry\src\mirrors.ustc.edu.cn-61ef6e0cd06fb9b8\erg_compiler-0.6.1\ownercheck.rs:114:77
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
thread 'main' panicked at 'called `Result::unwrap()` on an `Err` value: Any { .. }', C:\Users\19454\.cargo\registry\src\mirrors.ustc.edu.cn-61ef6e0cd06fb9b8\erg_common-0.6.1\spawn.rs:31:22
[Info - 16:15:24] Connection to server got closed. Server will restart.
[Info - 16:15:24] initializing ELS
[Info - 16:15:24] successfully bound
[Info - 16:15:24] textDocument/didOpen: file:///c%3A/Users/19454/Desktop/main.er
[Info - 16:15:24] checking file:///c%3A/Users/19454/Desktop/main.er
thread '<unnamed>' panicked at 'internal error: entered unreachable code', C:\Users\19454\.cargo\registry\src\mirrors.ustc.edu.cn-61ef6e0cd06fb9b8\erg_compiler-0.6.1\ownercheck.rs:114:77
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
thread 'main' panicked at 'called `Result::unwrap()` on an `Err` value: Any { .. }', C:\Users\19454\.cargo\registry\src\mirrors.ustc.edu.cn-61ef6e0cd06fb9b8\erg_common-0.6.1\spawn.rs:31:22
[Error - 16:15:24] Connection to server got closed. Server will not be restarted.
Describe the bug?
Reproducible code
I don't think it has anything to do with the code
Expected result
No response
Actual result
No response
Additional context
No response
Erg version
0.6.1
Python version
Python3.11.x
OS
Windows 11