diff --git a/compiler/erg_compiler/codegen.rs b/compiler/erg_compiler/codegen.rs
index 6ba08c6a..749c6519 100644
--- a/compiler/erg_compiler/codegen.rs
+++ b/compiler/erg_compiler/codegen.rs
@@ -1462,8 +1462,8 @@ impl CodeGenerator {
 
     fn emit_call(&mut self, call: Call) {
         log!(info "entered {} ({call})", fn_name!());
-        if let Some(method_name) = call.method_name {
-            self.emit_call_method(*call.obj, method_name, call.args);
+        if let Some(attr_name) = call.attr_name {
+            self.emit_call_method(*call.obj, attr_name, call.args);
         } else {
             match *call.obj {
                 Expr::Accessor(Accessor::Ident(ident)) if ident.vis().is_private() => {
diff --git a/compiler/erg_compiler/context/eval.rs b/compiler/erg_compiler/context/eval.rs
index 7fff63a7..5a1a1f38 100644
--- a/compiler/erg_compiler/context/eval.rs
+++ b/compiler/erg_compiler/context/eval.rs
@@ -16,7 +16,7 @@ use erg_parser::ast::*;
 use erg_parser::token::{Token, TokenKind};
 
 use crate::ty::constructors::dict_t;
-use crate::ty::constructors::proj_method;
+use crate::ty::constructors::proj_call;
 use crate::ty::constructors::{
     array_t, mono, not, poly, proj, ref_, ref_mut, refinement, subr_t, v_enum,
 };
@@ -854,11 +854,11 @@ impl Context {
             // ?T(<: Add(?R(:> Int))).Output == ?T(<: Add(?R)).Output
             // ?T(:> Int, <: Add(?R(:> Int))).Output == Int
             Type::Proj { lhs, rhs } => self.eval_proj(*lhs, rhs, level, t_loc),
-            Type::ProjMethod {
+            Type::ProjCall {
                 lhs,
-                method_name,
+                attr_name,
                 args,
-            } => self.eval_proj_method(*lhs, method_name, args, level, t_loc),
+            } => self.eval_proj_call(*lhs, attr_name, args, level, t_loc),
             Type::Ref(l) => Ok(ref_(self.eval_t_params(*l, level, t_loc)?)),
             Type::RefMut { before, after } => {
                 let before = self.eval_t_params(*before, level, t_loc)?;
@@ -999,10 +999,10 @@ impl Context {
         }
     }
 
-    fn eval_proj_method(
+    fn eval_proj_call(
         &self,
         lhs: TyParam,
-        method_name: Str,
+        attr_name: Str,
         args: Vec<TyParam>,
         level: usize,
         t_loc: Location,
@@ -1014,11 +1014,11 @@ impl Context {
                 line!() as usize,
                 t_loc,
                 self.caused_by(),
-                &method_name,
+                &attr_name,
                 None, // TODO:
             )
         })? {
-            if let Ok(obj) = ty_ctx.get_const_local(&Token::symbol(&method_name), &self.name) {
+            if let Ok(obj) = ty_ctx.get_const_local(&Token::symbol(&attr_name), &self.name) {
                 if let ValueObj::Subr(subr) = obj {
                     let is_method = subr.sig_t().self_t().is_some();
                     let mut pos_args = vec![];
@@ -1037,7 +1037,7 @@ impl Context {
                 }
             }
             for (_class, methods) in ty_ctx.methods_list.iter() {
-                if let Ok(obj) = methods.get_const_local(&Token::symbol(&method_name), &self.name) {
+                if let Ok(obj) = methods.get_const_local(&Token::symbol(&attr_name), &self.name) {
                     if let ValueObj::Subr(subr) = obj {
                         let mut pos_args = vec![];
                         for pos_arg in args.into_iter() {
@@ -1073,13 +1073,13 @@ impl Context {
         // In many cases, it is still better to determine the type variable than if the target is not found.
         let coerced = self.deref_tp(lhs.clone(), Variance::Covariant, t_loc)?;
         if lhs != coerced {
-            let proj = proj_method(coerced, method_name, args);
+            let proj = proj_call(coerced, attr_name, args);
             self.eval_t_params(proj, level, t_loc).map(|t| {
                 self.coerce_tp(&lhs);
                 t
             })
         } else {
-            let proj = proj_method(lhs, method_name, args);
+            let proj = proj_call(lhs, attr_name, args);
             Err(EvalErrors::from(EvalError::no_candidate_error(
                 self.cfg.input.clone(),
                 line!() as usize,
diff --git a/compiler/erg_compiler/context/initialize/mod.rs b/compiler/erg_compiler/context/initialize/mod.rs
index 383c899d..cef66205 100644
--- a/compiler/erg_compiler/context/initialize/mod.rs
+++ b/compiler/erg_compiler/context/initialize/mod.rs
@@ -1020,7 +1020,7 @@ impl Context {
         let dict_getitem_t = fn1_met(
             dict_t.clone(),
             mono_q("T"),
-            proj_method(mono_q_tp("D"), "__getitem__", vec![ty_tp(mono_q("T"))]),
+            proj_call(mono_q_tp("D"), "__getitem__", vec![ty_tp(mono_q("T"))]),
         );
         let dict_getitem_t = quant(
             dict_getitem_t,
@@ -1057,7 +1057,7 @@ impl Context {
         tuple_.register_superclass(mono("GenericTuple"), &generic_tuple);
         tuple_.register_marker_trait(poly("Output", vec![ty_tp(mono_q("Ts"))]));
         // __Tuple_getitem__: (self: Tuple(Ts), _: {N}) -> Ts[N]
-        let return_t = proj_method(mono_q_tp("Ts"), "__getitem__", vec![mono_q_tp("N")]);
+        let return_t = proj_call(mono_q_tp("Ts"), "__getitem__", vec![mono_q_tp("N")]);
         let tuple_getitem_t = fn1_met(
             tuple_t.clone(),
             tp_enum(Nat, set! {mono_q_tp("N")}),
diff --git a/compiler/erg_compiler/context/inquire.rs b/compiler/erg_compiler/context/inquire.rs
index 927eb31f..cba012ec 100644
--- a/compiler/erg_compiler/context/inquire.rs
+++ b/compiler/erg_compiler/context/inquire.rs
@@ -525,11 +525,11 @@ impl Context {
     fn search_callee_t(
         &self,
         obj: &hir::Expr,
-        method_name: &Option<Identifier>,
+        attr_name: &Option<Identifier>,
         input: &Input,
         namespace: &Str,
     ) -> SingleTyCheckResult<Type> {
-        if let Some(method_name) = method_name.as_ref() {
+        if let Some(attr_name) = attr_name.as_ref() {
             for ctx in self
                 .get_nominal_super_type_ctxs(obj.ref_t())
                 .ok_or_else(|| {
@@ -545,19 +545,19 @@ impl Context {
             {
                 if let Some(vi) = ctx
                     .locals
-                    .get(method_name.inspect())
-                    .or_else(|| ctx.decls.get(method_name.inspect()))
+                    .get(attr_name.inspect())
+                    .or_else(|| ctx.decls.get(attr_name.inspect()))
                 {
-                    self.validate_visibility(method_name, vi, input, namespace)?;
+                    self.validate_visibility(attr_name, vi, input, namespace)?;
                     return Ok(vi.t());
                 }
                 for (_, methods_ctx) in ctx.methods_list.iter() {
                     if let Some(vi) = methods_ctx
                         .locals
-                        .get(method_name.inspect())
-                        .or_else(|| methods_ctx.decls.get(method_name.inspect()))
+                        .get(attr_name.inspect())
+                        .or_else(|| methods_ctx.decls.get(attr_name.inspect()))
                     {
-                        self.validate_visibility(method_name, vi, input, namespace)?;
+                        self.validate_visibility(attr_name, vi, input, namespace)?;
                         return Ok(vi.t());
                     }
                 }
@@ -565,34 +565,34 @@ impl Context {
             if let Ok(singular_ctx) = self.get_singular_ctx(obj, namespace) {
                 if let Some(vi) = singular_ctx
                     .locals
-                    .get(method_name.inspect())
-                    .or_else(|| singular_ctx.decls.get(method_name.inspect()))
+                    .get(attr_name.inspect())
+                    .or_else(|| singular_ctx.decls.get(attr_name.inspect()))
                 {
-                    self.validate_visibility(method_name, vi, input, namespace)?;
+                    self.validate_visibility(attr_name, vi, input, namespace)?;
                     return Ok(vi.t());
                 }
                 for (_, method_ctx) in singular_ctx.methods_list.iter() {
                     if let Some(vi) = method_ctx
                         .locals
-                        .get(method_name.inspect())
-                        .or_else(|| method_ctx.decls.get(method_name.inspect()))
+                        .get(attr_name.inspect())
+                        .or_else(|| method_ctx.decls.get(attr_name.inspect()))
                     {
-                        self.validate_visibility(method_name, vi, input, namespace)?;
+                        self.validate_visibility(attr_name, vi, input, namespace)?;
                         return Ok(vi.t());
                     }
                 }
                 return Err(TyCheckError::singular_no_attr_error(
                     self.cfg.input.clone(),
                     line!() as usize,
-                    method_name.loc(),
+                    attr_name.loc(),
                     namespace.into(),
                     obj.qual_name().unwrap_or("?"),
                     obj.ref_t(),
-                    method_name.inspect(),
-                    self.get_similar_attr_from_singular(obj, method_name.inspect()),
+                    attr_name.inspect(),
+                    self.get_similar_attr_from_singular(obj, attr_name.inspect()),
                 ));
             }
-            match self.get_method_type_by_name(method_name) {
+            match self.get_method_type_by_name(attr_name) {
                 Ok(t) => {
                     self.sub_unify(obj.ref_t(), &t.definition_type, obj.loc(), None)
                         // HACK: change this func's return type to TyCheckResult<Type>
@@ -608,11 +608,11 @@ impl Context {
             Err(TyCheckError::no_attr_error(
                 self.cfg.input.clone(),
                 line!() as usize,
-                method_name.loc(),
+                attr_name.loc(),
                 namespace.into(),
                 obj.ref_t(),
-                method_name.inspect(),
-                self.get_similar_attr(obj.ref_t(), method_name.inspect()),
+                attr_name.inspect(),
+                self.get_similar_attr(obj.ref_t(), attr_name.inspect()),
             ))
         } else {
             Ok(obj.t())
@@ -759,17 +759,17 @@ impl Context {
     fn substitute_call(
         &self,
         obj: &hir::Expr,
-        method_name: &Option<Identifier>,
+        attr_name: &Option<Identifier>,
         instance: &Type,
         pos_args: &[hir::PosArg],
         kw_args: &[hir::KwArg],
     ) -> TyCheckResult<()> {
         match instance {
             Type::FreeVar(fv) if fv.is_linked() => {
-                self.substitute_call(obj, method_name, &fv.crack(), pos_args, kw_args)
+                self.substitute_call(obj, attr_name, &fv.crack(), pos_args, kw_args)
             }
             Type::FreeVar(fv) => {
-                if let Some(_method_name) = method_name {
+                if let Some(_attr_name) = attr_name {
                     todo!()
                 } else {
                     let is_procedural = obj
@@ -789,16 +789,21 @@ impl Context {
                 }
             }
             Type::Refinement(refine) => {
-                self.substitute_call(obj, method_name, &refine.t, pos_args, kw_args)
+                self.substitute_call(obj, attr_name, &refine.t, pos_args, kw_args)
             }
             Type::Subr(subr) => {
-                let callee = if let Some(ident) = method_name {
-                    let attr = hir::Attribute::new(
-                        obj.clone(),
-                        hir::Identifier::bare(ident.dot.clone(), ident.name.clone()),
-                        Type::Uninited,
-                    );
-                    hir::Expr::Accessor(hir::Accessor::Attr(attr))
+                let not_method_but_attr = subr.self_t().is_none();
+                let callee = if let Some(ident) = attr_name {
+                    if not_method_but_attr {
+                        obj.clone()
+                    } else {
+                        let attr = hir::Attribute::new(
+                            obj.clone(),
+                            hir::Identifier::bare(ident.dot.clone(), ident.name.clone()),
+                            Type::Uninited,
+                        );
+                        hir::Expr::Accessor(hir::Accessor::Attr(attr))
+                    }
                 } else {
                     obj.clone()
                 };
@@ -818,7 +823,7 @@ impl Context {
                     )));
                 }
                 let mut passed_params = set! {};
-                let non_default_params_len = if method_name.is_some() {
+                let non_default_params_len = if attr_name.is_some() && !not_method_but_attr {
                     subr.non_default_params.len() - 1
                 } else {
                     subr.non_default_params.len()
@@ -895,13 +900,13 @@ impl Context {
                 Ok(())
             }
             other => {
-                if let Some(method_name) = method_name {
+                if let Some(attr_name) = attr_name {
                     Err(TyCheckErrors::from(TyCheckError::type_mismatch_error(
                         self.cfg.input.clone(),
                         line!() as usize,
-                        Location::concat(obj, method_name),
+                        Location::concat(obj, attr_name),
                         self.caused_by(),
-                        &(obj.to_string() + &method_name.to_string()),
+                        &(obj.to_string() + &attr_name.to_string()),
                         &mono("Callable"),
                         other,
                         self.get_candidates(other),
@@ -1073,7 +1078,7 @@ impl Context {
     pub(crate) fn get_call_t(
         &self,
         obj: &hir::Expr,
-        method_name: &Option<Identifier>,
+        attr_name: &Option<Identifier>,
         pos_args: &[hir::PosArg],
         kw_args: &[hir::KwArg],
         input: &Input,
@@ -1103,10 +1108,10 @@ impl Context {
                 }
             }
         }
-        let found = self.search_callee_t(obj, method_name, input, namespace)?;
+        let found = self.search_callee_t(obj, attr_name, input, namespace)?;
         log!(
             "Found:\ncallee: {obj}{}\nfound: {found}",
-            fmt_option!(pre ".", method_name.as_ref().map(|ident| &ident.name))
+            fmt_option!(pre ".", attr_name.as_ref().map(|ident| &ident.name))
         );
         let instance = self.instantiate(found, obj)?;
         log!(
@@ -1114,7 +1119,7 @@ impl Context {
             fmt_slice(pos_args),
             fmt_slice(kw_args)
         );
-        self.substitute_call(obj, method_name, &instance, pos_args, kw_args)?;
+        self.substitute_call(obj, attr_name, &instance, pos_args, kw_args)?;
         log!(info "Substituted:\ninstance: {instance}");
         let res = self.eval_t_params(instance, self.level, obj.loc())?;
         log!(info "Params evaluated:\nres: {res}\n");
diff --git a/compiler/erg_compiler/context/instantiate.rs b/compiler/erg_compiler/context/instantiate.rs
index 215fd3bd..9e3fb3e2 100644
--- a/compiler/erg_compiler/context/instantiate.rs
+++ b/compiler/erg_compiler/context/instantiate.rs
@@ -1070,16 +1070,16 @@ impl Context {
                 let lhs = self.instantiate_t(*lhs, tmp_tv_ctx, loc)?;
                 Ok(proj(lhs, rhs))
             }
-            ProjMethod {
+            ProjCall {
                 lhs,
-                method_name,
+                attr_name,
                 mut args,
             } => {
                 let lhs = self.instantiate_tp(*lhs, tmp_tv_ctx, loc)?;
                 for arg in args.iter_mut() {
                     *arg = self.instantiate_tp(mem::take(arg), tmp_tv_ctx, loc)?;
                 }
-                Ok(proj_method(lhs, method_name, args))
+                Ok(proj_call(lhs, attr_name, args))
             }
             Poly { name, mut params } => {
                 for param in params.iter_mut() {
diff --git a/compiler/erg_compiler/context/tyvar.rs b/compiler/erg_compiler/context/tyvar.rs
index 7b454431..3713d6f0 100644
--- a/compiler/erg_compiler/context/tyvar.rs
+++ b/compiler/erg_compiler/context/tyvar.rs
@@ -187,16 +187,16 @@ impl Context {
                 let lhs = self.generalize_t_inner(*lhs, bounds, lazy_inits);
                 proj(lhs, rhs)
             }
-            ProjMethod {
+            ProjCall {
                 lhs,
-                method_name,
+                attr_name,
                 mut args,
             } => {
                 let lhs = self.generalize_tp(*lhs, bounds, lazy_inits);
                 for arg in args.iter_mut() {
                     *arg = self.generalize_tp(mem::take(arg), bounds, lazy_inits);
                 }
-                proj_method(lhs, method_name, args)
+                proj_call(lhs, attr_name, args)
             }
             And(l, r) => {
                 let l = self.generalize_t_inner(*l, bounds, lazy_inits);
diff --git a/compiler/erg_compiler/effectcheck.rs b/compiler/erg_compiler/effectcheck.rs
index 8639ed5e..c8aa948a 100644
--- a/compiler/erg_compiler/effectcheck.rs
+++ b/compiler/erg_compiler/effectcheck.rs
@@ -326,7 +326,7 @@ impl SideEffectChecker {
             Expr::Call(call) => {
                 if (call.obj.t().is_procedural()
                     || call
-                        .method_name
+                        .attr_name
                         .as_ref()
                         .map(|name| name.is_procedural())
                         .unwrap_or(false))
diff --git a/compiler/erg_compiler/hir.rs b/compiler/erg_compiler/hir.rs
index bde3e7d8..1214eaaf 100644
--- a/compiler/erg_compiler/hir.rs
+++ b/compiler/erg_compiler/hir.rs
@@ -1075,7 +1075,7 @@ impl UnaryOp {
 #[derive(Debug, Clone, PartialEq, Eq, Hash)]
 pub struct Call {
     pub obj: Box<Expr>,
-    pub method_name: Option<Identifier>,
+    pub attr_name: Option<Identifier>,
     pub args: Args,
     /// 全体の型(引数自体の型は関係ない)、e.g. `abs(-1)` -> `Neg -> Nat`
     pub sig_t: Type,
@@ -1087,7 +1087,7 @@ impl NestedDisplay for Call {
             f,
             "({}){} (: {}):",
             self.obj,
-            fmt_option!(self.method_name),
+            fmt_option!(self.attr_name),
             self.sig_t
         )?;
         self.args.fmt_nest(f, level + 1)
@@ -1130,10 +1130,10 @@ impl Locational for Call {
 }
 
 impl Call {
-    pub fn new(obj: Expr, method_name: Option<Identifier>, args: Args, sig_t: Type) -> Self {
+    pub fn new(obj: Expr, attr_name: Option<Identifier>, args: Args, sig_t: Type) -> Self {
         Self {
             obj: Box::new(obj),
-            method_name,
+            attr_name,
             args,
             sig_t,
         }
diff --git a/compiler/erg_compiler/lower.rs b/compiler/erg_compiler/lower.rs
index a216d8e9..06fc6bf2 100644
--- a/compiler/erg_compiler/lower.rs
+++ b/compiler/erg_compiler/lower.rs
@@ -654,7 +654,7 @@ impl ASTLowerer {
     }
 
     fn lower_call(&mut self, call: ast::Call) -> LowerResult<hir::Call> {
-        log!(info "entered {}({}{}(...))", fn_name!(), call.obj, fmt_option!(call.method_name));
+        log!(info "entered {}({}{}(...))", fn_name!(), call.obj, fmt_option!(call.attr_name));
         let opt_cast_to = if call.is_assert_cast() {
             if let Some(typ) = call.assert_cast_target_type() {
                 Some(Parser::expr_to_type_spec(typ.clone()).map_err(|e| {
@@ -690,23 +690,23 @@ impl ASTLowerer {
         let obj = self.lower_expr(*call.obj)?;
         let sig_t = self.ctx.get_call_t(
             &obj,
-            &call.method_name,
+            &call.attr_name,
             &hir_args.pos_args,
             &hir_args.kw_args,
             &self.cfg.input,
             &self.ctx.name,
         )?;
-        let method_name = if let Some(method_name) = call.method_name {
+        let attr_name = if let Some(attr_name) = call.attr_name {
             Some(hir::Identifier::new(
-                method_name.dot,
-                method_name.name,
+                attr_name.dot,
+                attr_name.name,
                 None,
                 Type::Uninited,
             ))
         } else {
             None
         };
-        let mut call = hir::Call::new(obj, method_name, hir_args, sig_t);
+        let mut call = hir::Call::new(obj, attr_name, hir_args, sig_t);
         match call.additional_operation() {
             Some(kind @ (OperationKind::Import | OperationKind::PyImport)) => {
                 let mod_name =
@@ -744,7 +744,7 @@ impl ASTLowerer {
         let class = self.lower_expr(*pack.class)?;
         let args = self.lower_record(pack.args)?;
         let args = vec![hir::PosArg::new(hir::Expr::Record(args))];
-        let method_name = ast::Identifier::new(
+        let attr_name = ast::Identifier::new(
             Some(Token::new(
                 TokenKind::Dot,
                 Str::ever("."),
@@ -760,15 +760,15 @@ impl ASTLowerer {
         );
         let sig_t = self.ctx.get_call_t(
             &class,
-            &Some(method_name.clone()),
+            &Some(attr_name.clone()),
             &args,
             &[],
             &self.cfg.input,
             &self.ctx.name,
         )?;
         let args = hir::Args::new(args, None, vec![], None);
-        let method_name = hir::Identifier::bare(method_name.dot, method_name.name);
-        Ok(hir::Call::new(class, Some(method_name), args, sig_t))
+        let attr_name = hir::Identifier::bare(attr_name.dot, attr_name.name);
+        Ok(hir::Call::new(class, Some(attr_name), args, sig_t))
     }
 
     /// TODO: varargs
diff --git a/compiler/erg_compiler/ownercheck.rs b/compiler/erg_compiler/ownercheck.rs
index c3f6a4d5..732dac11 100644
--- a/compiler/erg_compiler/ownercheck.rs
+++ b/compiler/erg_compiler/ownercheck.rs
@@ -109,7 +109,7 @@ impl OwnershipChecker {
             // TODO: referenced
             Expr::Call(call) => {
                 let args_owns = call.signature_t().unwrap().args_ownership();
-                let non_defaults_len = if call.method_name.is_some() {
+                let non_defaults_len = if call.attr_name.is_some() {
                     args_owns.non_defaults.len() - 1
                 } else {
                     args_owns.non_defaults.len()
diff --git a/compiler/erg_compiler/ty/constructors.rs b/compiler/erg_compiler/ty/constructors.rs
index 88e1a85e..b727a4fb 100644
--- a/compiler/erg_compiler/ty/constructors.rs
+++ b/compiler/erg_compiler/ty/constructors.rs
@@ -385,10 +385,10 @@ pub fn proj<S: Into<Str>>(lhs: Type, rhs: S) -> Type {
 }
 
 #[inline]
-pub fn proj_method<S: Into<Str>>(lhs: TyParam, method_name: S, args: Vec<TyParam>) -> Type {
-    Type::ProjMethod {
+pub fn proj_call<S: Into<Str>>(lhs: TyParam, attr_name: S, args: Vec<TyParam>) -> Type {
+    Type::ProjCall {
         lhs: Box::new(lhs),
-        method_name: method_name.into(),
+        attr_name: attr_name.into(),
         args,
     }
 }
diff --git a/compiler/erg_compiler/ty/mod.rs b/compiler/erg_compiler/ty/mod.rs
index 80fd7664..0159879b 100644
--- a/compiler/erg_compiler/ty/mod.rs
+++ b/compiler/erg_compiler/ty/mod.rs
@@ -1188,9 +1188,9 @@ pub enum Type {
         lhs: Box<Type>,
         rhs: Str,
     }, // e.g. T.U
-    ProjMethod {
+    ProjCall {
         lhs: Box<TyParam>,
-        method_name: Str,
+        attr_name: Str,
         args: Vec<TyParam>,
     }, // e.g. Ts.__getitem__(N)
     FreeVar(FreeTyVar), // a reference to the type of other expression, see docs/compiler/inference.md
@@ -1281,17 +1281,17 @@ impl PartialEq for Type {
                 },
             ) => lhs == rlhs && rhs == rrhs,
             (
-                Self::ProjMethod {
+                Self::ProjCall {
                     lhs,
-                    method_name,
+                    attr_name,
                     args,
                 },
-                Self::ProjMethod {
+                Self::ProjCall {
                     lhs: r,
-                    method_name: rm,
+                    attr_name: rn,
                     args: ra,
                 },
-            ) => lhs == r && method_name == rm && args == ra,
+            ) => lhs == r && attr_name == rn && args == ra,
             (Self::FreeVar(fv), other) if fv.is_linked() => &*fv.crack() == other,
             (_self, Self::FreeVar(fv)) if fv.is_linked() => _self == &*fv.crack(),
             (Self::FreeVar(l), Self::FreeVar(r)) => l == r,
@@ -1406,13 +1406,13 @@ impl LimitedDisplay for Type {
                 lhs.limited_fmt(f, limit - 1)?;
                 write!(f, ".{rhs}")
             }
-            Self::ProjMethod {
+            Self::ProjCall {
                 lhs,
-                method_name,
+                attr_name,
                 args,
             } => {
                 lhs.limited_fmt(f, limit - 1)?;
-                write!(f, ".{method_name}(")?;
+                write!(f, ".{attr_name}(")?;
                 for (i, arg) in args.iter().enumerate() {
                     if i != 0 {
                         write!(f, ", ")?;
@@ -1918,7 +1918,7 @@ impl Type {
                 FreeKind::Unbound { id, .. } => Str::from(format!("%{id}")),
             },
             Self::Proj { .. } => Str::ever("MonoProj"),
-            Self::ProjMethod { .. } => Str::ever("MonoProjMethod"),
+            Self::ProjCall { .. } => Str::ever("MonoProjMethod"),
             Self::Failure => Str::ever("Failure"),
             Self::Uninited => Str::ever("Uninited"),
         }
diff --git a/compiler/erg_parser/ast.rs b/compiler/erg_parser/ast.rs
index 9321a552..b4c297d1 100644
--- a/compiler/erg_parser/ast.rs
+++ b/compiler/erg_parser/ast.rs
@@ -924,7 +924,7 @@ impl UnaryOp {
 #[derive(Clone, Debug, PartialEq, Eq, Hash)]
 pub struct Call {
     pub obj: Box<Expr>,
-    pub method_name: Option<Identifier>,
+    pub attr_name: Option<Identifier>,
     pub args: Args,
 }
 
@@ -935,8 +935,8 @@ impl NestedDisplay for Call {
         } else {
             write!(f, "{}", self.obj)?;
         }
-        if let Some(method_name) = self.method_name.as_ref() {
-            write!(f, "{}", method_name)?;
+        if let Some(attr_name) = self.attr_name.as_ref() {
+            write!(f, "{}", attr_name)?;
         }
         writeln!(f, ":")?;
         self.args.fmt_nest(f, level + 1)
@@ -952,10 +952,10 @@ impl Locational for Call {
 }
 
 impl Call {
-    pub fn new(obj: Expr, method_name: Option<Identifier>, args: Args) -> Self {
+    pub fn new(obj: Expr, attr_name: Option<Identifier>, args: Args) -> Self {
         Self {
             obj: Box::new(obj),
-            method_name,
+            attr_name,
             args,
         }
     }
diff --git a/compiler/erg_parser/desugar.rs b/compiler/erg_parser/desugar.rs
index 9f913884..1776e35f 100644
--- a/compiler/erg_parser/desugar.rs
+++ b/compiler/erg_parser/desugar.rs
@@ -181,7 +181,7 @@ impl Desugarer {
                     })
                     .collect();
                 let args = Args::new(pos_args, kw_args, paren);
-                Expr::Call(Call::new(obj, call.method_name, args))
+                Expr::Call(Call::new(obj, call.attr_name, args))
             }
             Expr::Def(def) => {
                 let mut chunks = vec![];
diff --git a/compiler/erg_parser/parse.rs b/compiler/erg_parser/parse.rs
index bd33cb2e..a5bdd47f 100644
--- a/compiler/erg_parser/parse.rs
+++ b/compiler/erg_parser/parse.rs
@@ -1415,11 +1415,11 @@ impl Parser {
         let mut call_or_acc = self.try_reduce_acc_chain(acc, in_type_args)?;
         while let Some(res) = self.opt_reduce_args(in_type_args) {
             let args = res.map_err(|_| self.stack_dec())?;
-            let (receiver, method_name) = match call_or_acc {
+            let (receiver, attr_name) = match call_or_acc {
                 Expr::Accessor(Accessor::Attr(attr)) => (*attr.obj, Some(attr.ident)),
                 other => (other, None),
             };
-            let call = Call::new(receiver, method_name, args);
+            let call = Call::new(receiver, attr_name, args);
             call_or_acc = Expr::Call(call);
         }
         self.level -= 1;
@@ -1529,11 +1529,11 @@ impl Parser {
                 }
                 Some(t) if t.is(LParen) && obj.col_end() == t.col_begin() => {
                     let args = self.try_reduce_args(false).map_err(|_| self.stack_dec())?;
-                    let (receiver, method_name) = match obj {
+                    let (receiver, attr_name) = match obj {
                         Expr::Accessor(Accessor::Attr(attr)) => (*attr.obj, Some(attr.ident)),
                         other => (other, None),
                     };
-                    let call = Call::new(receiver, method_name, args);
+                    let call = Call::new(receiver, attr_name, args);
                     obj = Expr::Call(call);
                 }
                 Some(t) if t.is(VBar) && !in_type_args => {