importenumfromtypingimportLiteralclassFoo(enum.IntEnum):foo=1bar=2deffoo(bar:Literal[Foo.foo|Foo.bar])->None:pass

$ ty check t.py t.py:10:22: error[invalid-type-form] Type argumentsfor`Literal` must be`None`, a literal value (int, bool, str, or bytes), or an enum member