{"ast_node_type":"import","tokens":[{"end":90,"kind":"keyword","start":0,"text":"//"}]}
        // We use the *resolved* bound vars later instead of the HIR ones since the former
        // also include the bound vars of the overarching predicate if applicable.