`DoesNotContainDV_*:_DV`
given `DoesNotContainDV_*:_DV`[T, ST, D, DN, DVDiff, N <: TypeName, S, Tail <: Tuple, DV](using val ev: NotGiven[DV =:= DVDiff], val next: DoesNotContainDV[Tail, DV]): DoesNotContainDV[Aux[T, ST, D, DN, DVDiff, N, S] *: Tail, DV]