Function REQUIRED 

pub const exec fn REQUIRED<Field, Rest>(
    field: Field,
    rest: Rest,
) -> Pair<Field, Rest>

returns

Pair(field, rest),

Construct a required ASN.1 component with its continuation.