From 4054031c58edecd148016bacb441de92d38749c3 Mon Sep 17 00:00:00 2001 From: Andrea Lattuada Date: Tue, 19 Nov 2024 18:57:25 +0100 Subject: [PATCH] replace the after_crate_root_parsing callback with after_expansion, fixes #1331 --- source/rust_verify/src/driver.rs | 2 +- source/rust_verify/src/lifetime.rs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/source/rust_verify/src/driver.rs b/source/rust_verify/src/driver.rs index c46ca3a125..7cd82ccfca 100644 --- a/source/rust_verify/src/driver.rs +++ b/source/rust_verify/src/driver.rs @@ -90,7 +90,7 @@ pub struct CompilerCallbacksEraseMacro { } impl rustc_driver::Callbacks for CompilerCallbacksEraseMacro { - fn after_crate_root_parsing<'tcx>( + fn after_expansion<'tcx>( &mut self, _compiler: &rustc_interface::interface::Compiler, queries: &'tcx rustc_interface::Queries<'tcx>, diff --git a/source/rust_verify/src/lifetime.rs b/source/rust_verify/src/lifetime.rs index f7cb19e923..49840a9c67 100644 --- a/source/rust_verify/src/lifetime.rs +++ b/source/rust_verify/src/lifetime.rs @@ -304,7 +304,7 @@ fn emit_check_tracked_lifetimes<'tcx>( struct LifetimeCallbacks {} impl rustc_driver::Callbacks for LifetimeCallbacks { - fn after_crate_root_parsing<'tcx>( + fn after_expansion<'tcx>( &mut self, _compiler: &rustc_interface::interface::Compiler, queries: &'tcx rustc_interface::Queries<'tcx>,