From 6b2cb50b76ebbbe606646c85e0727f472a8a2b24 Mon Sep 17 00:00:00 2001
From: George Fraser <george@fivetran.com>
Date: Sat, 28 Mar 2020 14:32:09 -0700
Subject: [PATCH] How to get the type of an expression using rustc_interface

---
 src/SUMMARY.md                               |  1 +
 src/rustc-driver-interacting-with-the-ast.md | 41 ++++++++++++++++++++
 2 files changed, 42 insertions(+)
 create mode 100644 src/rustc-driver-interacting-with-the-ast.md

diff --git a/src/SUMMARY.md b/src/SUMMARY.md
index b0bf1966..1a0c9e9e 100644
--- a/src/SUMMARY.md
+++ b/src/SUMMARY.md
@@ -37,6 +37,7 @@
     - [High-level overview of the compiler source](./high-level-overview.md)
     - [The Rustc Driver and Interface](./rustc-driver.md)
         - [Rustdoc](./rustdoc.md)
+        - [Interacting with the AST](./rustc-driver-interacting-with-the-ast.md)
     - [Queries: demand-driven compilation](./query.md)
         - [The Query Evaluation Model in Detail](./queries/query-evaluation-model-in-detail.md)
         - [Incremental compilation](./queries/incremental-compilation.md)
diff --git a/src/rustc-driver-interacting-with-the-ast.md b/src/rustc-driver-interacting-with-the-ast.md
new file mode 100644
index 00000000..faf0f151
--- /dev/null
+++ b/src/rustc-driver-interacting-with-the-ast.md
@@ -0,0 +1,41 @@
+# Interacting with the AST
+
+`rustc_interface` allows you to interact with Rust code at various stages of compilation.
+
+## Getting the type of an expression
+
+To get the type of an expression, use the `global_ctxt` to get a `TyCtxt`:
+
+```rust
+// In this example, config specifies the rust program:
+//   fn main() { let message = \"Hello, world!\"; println!(\"{}\", message); }
+// Our goal is to get the type of the string literal "Hello, world!".
+//
+// See https://github.com/rust-lang/rustc-dev-guide/blob/master/examples/rustc-driver-example.rs for a complete example of configuring rustc_interface
+rustc_interface::run_compiler(config, |compiler| {
+    compiler.enter(|queries| {
+        // Analyze the crate and inspect the types under the cursor.
+        queries.global_ctxt().unwrap().take().enter(|tcx| {
+            // Every compilation contains a single crate.
+            let krate = tcx.hir().krate();
+            // Iterate over the top-level items in the crate, looking for the main function.
+            for (_, item) in &krate.items {
+                // Use pattern-matching to find a specific node inside the main function.
+                if let rustc_hir::ItemKind::Fn(_, _, body_id) = item.kind {
+                    let expr = &tcx.hir().body(body_id).value;
+                    if let rustc_hir::ExprKind::Block(block, _) = expr.kind {
+                        if let rustc_hir::StmtKind::Local(local) = block.stmts[0].kind {
+                            if let Some(expr) = local.init {
+                                let hir_id = expr.hir_id; // hir_id identifies the string "Hello, world!"
+                                let def_id = tcx.hir().local_def_id(item.hir_id); // def_id identifies the main function
+                                let ty = tcx.typeck_tables_of(def_id).node_type(hir_id);
+                                println!("{:?}: {:?}", expr, ty); // prints expr(HirId { owner: DefIndex(3), local_id: 4 }: "Hello, world!"): &'static str
+                            }
+                        }
+                    }
+                }
+            }
+        })
+    });
+});
+```
\ No newline at end of file