[temp.constr.concept] Avoid talking about normalization of constraints

[lprv]

No description provided.

[jensmaurer]

I think this is intentional. We do some weird normalization here.

[lprv]

In that case, how about:

Checking whether CI'' is satisfied can lead to substitution into, and normalization of, concept-ids of other concept-dependent constraints.

"Normalization of concept-dependent constraints" feels wrong to me because normalization is the process of turning expressions into constraints; a concept-dependent constraint is not itself an expression.

[tkoeppe]

@hubert-reinterpretcast, @opensdh could you speak to whether the status quo needs to be cleaned up here?

[tkoeppe]

Or @cor3ntin?

[cor3ntin]

I think normalization is what we mean here. Yes, we will also check satisfaction recursively but this is not notable. however, the fact that concept dependent constraints would be further normalized as they become non dependent is notable, as it is unusual.

status quo is therefore preferable.

[tkoeppe]

Thank you!