{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"//"}]}
    // `declared_ret_ty`, but then anything uninferred would be inferred to
    // HACK(oli-obk, compiler-errors): We should be comparing this against
    // the opaque type itself. That again would cause writeback to assume