syntax_data: {"ast_node_type":"import","tokens":[{"end":86,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:             // We walk the *un-shifted* alias ty, because we're tracking the de bruijn
context_after:             // binder depth, and if we were to walk `shifted_alias_ty` instead, we'd