Example: Type checking through rustc_interface

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. The following was tested with nightly-2023-10-03:

{{#include ../examples/rustc-driver-interacting-with-the-ast.rs}}