FieldIdx
FieldsShape
Finally got to the main motivating example from the MCP :)
VariantIdx::from_u32(0)
FIRST_VARIANT
FnPtr
ty::VariantDef
IndexVec<FieldIdx, FieldDef>