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 Expr
.
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 NodeId
?
Thanks for your attention.