Function generalize 

fn generalize<'db>(
    env: &mut Env<'db>,
    red_ty: &RedTy<'db>,
    span: Span<'db>,
) -> Errors<RedTy<'db>>

Generalize returns a new red-ty created by replacing any generic arguments in red_ty with fresh inference variables.