{"ast_node_type":"import","tokens":[{"end":66,"kind":"keyword","start":0,"text":"This"}]}
This means that during inferencing you should use `fcx.write_ty()`
and `fcx.expr_ty()` / `fcx.node_ty()` to write/obtain the types of