Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 3 additions & 4 deletions examples/rustc-driver-example.rs
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Tested with nightly-2025-02-13
// Tested with nightly-2025-03-08

#![feature(rustc_private)]

Expand Down Expand Up @@ -71,9 +71,8 @@ impl rustc_driver::Callbacks for MyCallbacks {

fn after_analysis(&mut self, _compiler: &Compiler, tcx: TyCtxt<'_>) -> Compilation {
// Analyze the program and inspect the types of definitions.
for id in tcx.hir().items() {
let hir = tcx.hir();
let item = hir.item(id);
for id in tcx.hir_free_items(){
let item = &tcx.hir_item(id);
match item.kind {
rustc_hir::ItemKind::Static(_, _, _) | rustc_hir::ItemKind::Fn { .. } => {
let name = item.ident;
Expand Down
8 changes: 3 additions & 5 deletions examples/rustc-driver-interacting-with-the-ast.rs
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Tested with nightly-2025-02-13
// Tested with nightly-2025-03-08

#![feature(rustc_private)]

Expand Down Expand Up @@ -70,11 +70,9 @@ impl rustc_driver::Callbacks for MyCallbacks {
}

fn after_analysis(&mut self, _compiler: &Compiler, tcx: TyCtxt<'_>) -> Compilation {
// Every compilation contains a single crate.
let hir_krate = tcx.hir();
// Iterate over the top-level items in the crate, looking for the main function.
for id in hir_krate.items() {
let item = hir_krate.item(id);
for id in tcx.hir_free_items(){
let item = &tcx.hir_item(id);
// Use pattern-matching to find a specific node inside the main function.
if let rustc_hir::ItemKind::Fn { body, .. } = item.kind {
let expr = &tcx.hir_body(body).value;
Expand Down
7 changes: 3 additions & 4 deletions examples/rustc-interface-example.rs
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Tested with nightly-2025-02-13
// Tested with nightly-2025-03-08

#![feature(rustc_private)]

Expand Down Expand Up @@ -64,9 +64,8 @@ fn main() {
println!("{krate:?}");
// Analyze the program and inspect the types of definitions.
rustc_interface::create_and_enter_global_ctxt(&compiler, krate, |tcx| {
for id in tcx.hir().items() {
let hir = tcx.hir();
let item = hir.item(id);
for id in tcx.hir_free_items() {
let item = tcx.hir_item(id);
match item.kind {
rustc_hir::ItemKind::Static(_, _, _) | rustc_hir::ItemKind::Fn { .. } => {
let name = item.ident;
Expand Down
8 changes: 5 additions & 3 deletions examples/rustc-interface-getting-diagnostics.rs
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Tested with nightly-2025-02-13
// Tested with nightly-2025-03-08

#![feature(rustc_private)]

Expand Down Expand Up @@ -86,8 +86,10 @@ fn main() {
rustc_interface::run_compiler(config, |compiler| {
let krate = rustc_interface::passes::parse(&compiler.sess);
rustc_interface::create_and_enter_global_ctxt(&compiler, krate, |tcx| {
// Run the analysis phase on the local crate to trigger the type error.
let _ = tcx.analysis(());
// Iterate all the items defined and perform type checking.
tcx.par_hir_body_owners(|item_def_id| {
tcx.ensure_ok().typeck(item_def_id);
});
});
// If the compiler has encountered errors when this closure returns, it will abort (!) the program.
// We avoid this by resetting the error count before returning
Expand Down
3 changes: 2 additions & 1 deletion src/rustc-driver/getting-diagnostics.md
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ otherwise be printed to stderr.

To get diagnostics from the compiler,
configure [`rustc_interface::Config`] to output diagnostic to a buffer,
and run [`TyCtxt.analysis`].
and run [`rustc_hir_typeck::typeck`] for each item.

```rust
{{#include ../../examples/rustc-interface-getting-diagnostics.rs}}
Expand All @@ -16,3 +16,4 @@ and run [`TyCtxt.analysis`].
[`rustc_interface`]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_interface/index.html
[`rustc_interface::Config`]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_interface/interface/struct.Config.html
[`TyCtxt.analysis`]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_interface/passes/fn.analysis.html
[`rustc_hir_typeck::typeck`]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_hir_typeck/fn.typeck.html