isolated durations after isolated pitches - intended behavior?

[Nikolai Hedler]

Hello!

First of all, thanks to all the developers for their continued efforts!

I am coming back to LIlypond after a couple years away, and found the
addition of unpitched durations an interesting shorthand feature, but
encountered a behavior I didn't expect. It seems that a pitch without
explicit duration followed by an isolated duration (e.g. c8 c 4) will be
treated as a single note (i.e. interpreted as c8 c4 instead of c8 c8 c4).
Is this a specific choice or a bug?

- Nikolai