{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":")"}]}
            )
                cx.typing_env().as_query_input(Ty::new_tup(cx.tcx(), &[a.layout.ty, b.layout.ty])),
            .unwrap();