fn extend_type_not_partial_eq<'tcx>(
tcx: TyCtxt<'tcx>,
typing_env: TypingEnv<'tcx>,
ty: Ty<'tcx>,
err: &mut Diag<'_>,
)
Expand description
Given a type with type parameters, visit every ADT looking for types that need to
#[derive(PartialEq)]
for it to be a structural type.