{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"impl<'tcx>"}]}
impl<'tcx> InferCtxt<'tcx> {
    /// Creates an instantiation S for the canonical value with fresh inference