{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"impl<'tcx>"}]}
impl<'tcx> InferCtxt<'tcx> {
#[extension(pub trait InferCtxtExt<'tcx>)]
    /// Given the fully resolved, instantiated type for an opaque