[ty] infer type for enum members

astral-sh/ty#876

Author: thejchap

crates/ty_python_semantic/resources/mdtest/enums.md

@@ -4,6 +4,7 @@
 
 ```py
 from enum import Enum
+from typing import Literal
 
 class Color(Enum):
     RED = 1
@@ -13,6 +14,14 @@ class Color(Enum):
 reveal_type(Color.RED)  # revealed: Literal[Color.RED]
 # TODO: This could be `Literal[1]`
 reveal_type(Color.RED.value)  # revealed: Any
+# TODO: This could be `Literal[1]`
+reveal_type(Color.RED._value_)  # revealed: Any
+
+# TODO: Literal["RED"]
+reveal_type(Color.RED.name)  # revealed: Any
+
+# TODO: Literal["RED"]
+reveal_type(Color.RED._name_)  # revealed: str
 
 # TODO: Should be `Color` or `Literal[Color.RED]`
 reveal_type(Color["RED"])  # revealed: Unknown
@@ -21,6 +30,14 @@ reveal_type(Color["RED"])  # revealed: Unknown
 reveal_type(Color(1))  # revealed: Color
 
 reveal_type(Color.RED in Color)  # revealed: bool
+
+def func1(red_or_blue: Literal[Color.RED, Color.BLUE]):
+    # TODO: Literal["RED", "BLUE"]
+    reveal_type(red_or_blue.name)  # revealed: Any
+
+def func2(any_color: Color):
+    # TODO: Literal["RED", "GREEN", "BLUE"]
+    reveal_type(any_color.name)  # revealed: Any
 ```
 
 ## Enum members