{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":")"}]}
    ) -> TypeTrace<'tcx> {
        b: ty::TraitRef<'tcx>,
        TypeTrace { cause: cause.clone(), values: ValuePairs::TraitRefs(ExpectedFound::new(a, b)) }