{"ast_node_type":"import","tokens":[{"end":60,"kind":"keyword","start":0,"text":"//"}]}
                // Could use this, but ignoring it is sound.
            NonDivergingIntrinsic::Assume(..) => {
            }