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.