Realised that this should be an error.
More precise argument consumption checking.