removal of eq in TotalEq in rust@master