{"ast_node_type":"other","tokens":[{"end":6,"kind":"keyword","start":0,"text":"//"}]}
    //
    // Used to detect opaque types uses added after we've already checked them.
    // See [FnCtxt::detect_opaque_types_added_during_writeback] for more details.