diff --git a/crates/erg_compiler/context/initialize/const_func.rs b/crates/erg_compiler/context/initialize/const_func.rs
index e5a556d6b..03e6b9586 100644
--- a/crates/erg_compiler/context/initialize/const_func.rs
+++ b/crates/erg_compiler/context/initialize/const_func.rs
@@ -493,7 +493,7 @@ pub(crate) fn list_union(mut args: ValueArgs, ctx: &Context) -> EvalValueResult<
         .flat_map(|t| ctx.convert_value_into_type(t.clone()))
         .collect::<Vec<_>>();
     // args must already be evaluated
-    if slf.iter().any(|t| t.has_proj() || t.has_proj_call()) {
+    if slf.iter().any(|t| t.is_proj() || t.is_proj_call()) {
         return Ok(TyParam::t(Type::Obj));
     }
     let union = slf