DMN15 — Clarification regarding equivalence of date vs date and time

Section 10.3.2.3.5 date contains the following:

Where necessary, including the valuedt function (see 10.3.2.3.6), a date value is considered to be equivalent to a date time value in which the time of day is UTC midnight (00:00:00).

Is not obvious when the equaivalence should be applied.

One option is to add an implicit conversion, similar to the ones for singleton lists.

Clarify equivalence between date and date and time instances

Clarify equivalence between date and date and time instances