Define a `Value` type that can hold a vector of any type

[heaths]

Based on discussions (see history of OP for context), we'll use rust enums - basically DUs - for model vectors. This is in line with most other languages e.g.,

pub enum BaseModel {
  Foo { pub a: Option<String>, pub b: Option<i32> },
  Bar { pub c: Option<String> },
};

pub struct Model {
  pub baz: Option<Vec<BaseModel>>,
}

Whether those enums are fixed or extensible is up to the typespec.

[heaths]

Or do we use a Vec<Any>?

[heaths]

@JeffreyRichter how often could this happen? @jhendrixMSFT how are we generating discriminated types now? Enums? If so, that should still work e.g.,

pub enum BaseModel {
  Foo { pub a: Option<String>, pub b: Option<i32> },
  Bar { pub c: Option<String> },
};

pub struct Model {
  pub baz: Option<Vec<BaseModel>>,
}

I'm not seeing anything in https://github.com/search?q=repo%3AAzure%2Ftypespec-rust+enum+base+path%3Apackages%2Ftypespec-rust%2Ftest&type=code.

[heaths]

Decided: we'll use enums (DUs) for polymorphic types, which makes this question easy to answer: we'll have a vector of the enum.

[heaths]

@jhendrixMSFT are we generating polymorphic models like this already or is that work that needs to be done yet? I can open issues accordingly.

[jhendrixMSFT]

NYI. Tracked via https://github.com/Azure/typespec-rust/issues/187