diff options
| author | Ralf Jung <post@ralfj.de> | 2025-01-04 11:41:51 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2025-01-04 11:41:51 +0100 |
| commit | 3cd3649c6cd370ac20e47f40bd5f210c9fe63f92 (patch) | |
| tree | 699d6f81a303789007d9efa24d485f1c3bd3f0b5 /src/tools | |
| parent | be65012aa34aa3b8d27e0e372b9eb86743d5aa8f (diff) | |
| download | rust-3cd3649c6cd370ac20e47f40bd5f210c9fe63f92.tar.gz rust-3cd3649c6cd370ac20e47f40bd5f210c9fe63f92.zip | |
rustc_intrinsic: support functions without body; they are implicitly marked as must-be-overridden
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/miri/src/bin/miri.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/src/bin/miri.rs b/src/tools/miri/src/bin/miri.rs index 962e313ce33..9055aa30271 100644 --- a/src/tools/miri/src/bin/miri.rs +++ b/src/tools/miri/src/bin/miri.rs @@ -242,7 +242,7 @@ impl rustc_driver::Callbacks for MiriBeRustCompilerCalls { let is_reachable_non_generic = matches!( tcx.hir_node_by_def_id(local_def_id), Node::Item(&hir::Item { - kind: hir::ItemKind::Static(..) | hir::ItemKind::Fn { .. }, + kind: hir::ItemKind::Static(..) | hir::ItemKind::Fn{ .. }, .. }) | Node::ImplItem(&hir::ImplItem { kind: hir::ImplItemKind::Fn(..), |