It works because a comment by definition goes until a newline, so you can’t have consecutive comments without a newline token in between. I’ll look into if the

It works because a comment by definition goes until a newline, so you can’t have consecutive comments without a newline token in between. I’ll look into if there’s a better way to do it than this based on your suggestion, thanks!