No default.
No default. Default behaviour provided by finalizer.
Expected size of the sequence output by the feature.
Expected size of the sequence output by the feature.
NOTE: The wrapped specification includes a requirement that the size of the generated sequence is as specified.
NOTE: The wrapped specification includes a requirement that the size of the generated sequence is as specified. If not, an exception should be thrown.