{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"///"}]}
/// this is not canonicalized - it directly affects the main `InferCtxt`
/// Runs `infcx.instantiate_opaque_types`. Unlike other `TypeOp`s,
/// that we use during MIR borrowchecking.