Function extend_type_not_partial_eq

Source
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.