The MySQL/Maria EnumType added in DBAL 4.2 has a new known option "values" that SchemaTool should know about so the following should now work automatically:

#[Column(type: "enum", options: ['values' => ['foo', 'bar', 'baz']])
public $choice;