Certain results have a variant for generic points, and a variant which works over a dense open. As an example let’s discuss “generically finite morphisms” of schemes.
The first variant is Lemma Tag 02NW: If f : X —> Y is of finite type and quasi-separated, η is a generic point of an irreducible component of Y with f^{-1}(η) finite, then there exists an affine open V of Y containing η such that f^{-1}(V) —> V is finite.
The second variant is Lemma Tag 03I1: If f : X —> Y is a quasi-finite morphism, then there exists a dense open V of Y such that f^{-1}(V) —> V is finite.
Comments: (a) In the second variant it isn’t necessarily the case that every generic point of every irreducible component of Y is contained in the open V, although this would follow from the first variant if we assumed f quasi-separated. (b) The proof of the first variant in the stacks project is basically elementary; the proof of the second variant currently uses (a technical version of) Zariski’s main theorem.
The point I am trying to make (badly) is that you can often get around making any separation assumptions by trying to prove a variant “over a dense open”. Maybe the archetype is the following result (Lemma Tag 03J1): Every quasi-compact scheme has a dense open subscheme which is separated.