Handle sys.version_info.minor in static evaluation

Summary:
We can statically evaluate `sys.version_info >= (3, 12)` and `sys.version_info[1] >= 10`, but not `sys.version_info.minor >= 10` (named attribute access).

This caused Pysa crashes when using Pyrefly as the type checker backend: Pyrefly would report function definitions from dead branches as reachable callables, but Pyre's preprocessing (which handles `.minor`) would remove them, leading to an unmatched callable error in `pyreflyApi.ml`.

Reviewed By: yangdanny97

Differential Revision: D105690953

fbshipit-source-id: 3151823eb3d81e07292887d111274bfd6821fd46

Author: arthaud

crates/pyrefly_python/src/sys_info.rs

@@ -554,6 +554,15 @@ impl SysInfo {
             }) if value.is_name_expr() && Self::is_type_checking_constant_name(attr.as_str()) => {
                 Some(Value::Bool(self.type_checking()))
             }
+            Expr::Attribute(ExprAttribute { value, attr, .. }) => match self.evaluate(value)? {
+                Value::VersionInfo(version) => match attr.as_str() {
+                    "major" => Some(Value::Int(version.major as i64)),
+                    "minor" => Some(Value::Int(version.minor as i64)),
+                    "micro" => Some(Value::Int(version.micro as i64)),
+                    _ => None,
+                },
+                _ => None,
+            },
             Expr::Call(ExprCall {
                 func, arguments, ..
             }) if let Expr::Attribute(ExprAttribute { value, attr, .. }) = &**func

pyrefly/lib/test/sys_info.rs

@@ -51,6 +51,18 @@ if sys.version_info[1] >= 6:
 else:
     C = int
 assert_type(C(), str)
+
+if sys.version_info.minor >= 6:
+    D = str
+else:
+    D = int
+assert_type(D(), str)
+
+if sys.version_info.major == 3:
+    E = str
+else:
+    E = int
+assert_type(E(), str)
 "#,
 );