{"ast_node_type":"import","tokens":[{"end":82,"kind":"keyword","start":0,"text":"//"}]}
    // We do this check here and not during `mir_promoted` because that may result
    //
    // in borrowck cycles if WF requires looking into an opaque hidden type.