{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"pub"}]}
pub trait ToTrace<'tcx>: Relate<TyCtxt<'tcx>> + Copy {
    fn to_trace(cause: &ObligationCause<'tcx>, a: Self, b: Self) -> TypeTrace<'tcx>;