options property Null safety

List<Option> options
@TagNumber(4)

Implementation

@$pb.TagNumber(4)
$core.List<Option> get options => $_getList(3);