When constructing hir, we start at some parent syntax node and recursively lower the children.
hir
This module allows one to go in the opposite direction: start with a syntax node for a child, and get its hir.