I think the LRM is not very clear here, but I think the intent was it should be an error. The only place it mentions being an error is if you try to attach a call to a subroutine.
I can see arguments both ways because of automatically generated code that might take advantage of the fact that they knowing start will never happen so they don’t care about their consequence having an empty match.