Revert "Auto merge of #118568 - DianQK:no-builtins-symbols, r=pnkfelix"

dianqk · dianqk · commit a0874da6a0ca · 2024-01-12T18:22:39.000+08:00
This reverts commit 503e129328080e924c0ddfca6abf4c2812580102, reversing
changes made to 0e7f91b75e7484a713e2f644212cfc1aa7478a28.
diff --git a/src/bin/miri.rs b/src/bin/miri.rs
@@ -165,7 +165,6 @@ impl rustc_driver::Callbacks for MiriBeRustCompilerCalls {
                                     level: SymbolExportLevel::C,
                                     kind: SymbolExportKind::Text,
                                     used: false,
-                                    used_compiler: false,
                                 },
                             ))
                         }),
