pub fn expected_found<'tcx, R, T>(
    relation: &mut R,
    a: T,
    b: T
) -> ExpectedFound<T>
where R: TypeRelation<'tcx>,