{"ast_node_type":"import","tokens":[{"end":73,"kind":"keyword","start":0,"text":"//"}]}
            // we might encode an `AdtDef` for a foreign type (because it
            // However, when encoding query results like `TypeckResults`,
            // was referenced in the body of the function). There is no guarantee