{"ast_node_type":"import","tokens":[{"end":85,"kind":"keyword","start":0,"text":"///"}]}
/// if the information is wrong, that can cause UB, but if the information is absent,
/// Note that this information is advisory only, and backends are free to ignore it:
/// that must always be okay.