Hi, I am using the compiler plugin to instrument the
Expr by modifying the
ExtExt. However, the instrument code is based on the attributes (type information) of the
Expr. e.g whether it is mutable or not and how it is defined.
I wonder if there is a method, to back transverse the AST tree, and get related statements about the
I thought it should be possible, because the compiler has a good knowledge of the code context to detect errors. An Idea, we can firstly resolve the structure of
Expr, decide its
ExprKind, an we may get an
IdentId for the
Expr. But can we resolve the type information (definition) by the
Thanks for your attention.