SourceFileLoader is not being used in run_simple_file #6277
Description
Summary
This is expected to be called when the given file is not <stdin>
Check TODO: set_main_loader in vm/src/vm/compile.rs
{{ message }}
This is expected to be called when the given file is not <stdin>
Check TODO: set_main_loader in vm/src/vm/compile.rs