pub fn type_op_eq<'tcx>(_: TyCtxt<'tcx>, _: &type_op_eq<'tcx>) -> bool