{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"ty::tls::with(|tcx|"}]}
    ty::tls::with(|tcx| {
) -> fmt::Result {
        let args = tcx.lift(instance.args).expect("could not lift for printing");