From 46c349d25db19c06b57fa63057de62148183a76e Mon Sep 17 00:00:00 2001 From: Shunsuke Shibayama Date: Sun, 15 Sep 2024 14:37:55 +0900 Subject: [PATCH] Update inquire.rs --- crates/erg_compiler/context/inquire.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/crates/erg_compiler/context/inquire.rs b/crates/erg_compiler/context/inquire.rs index 70ea0c5be..6a6e32b1a 100644 --- a/crates/erg_compiler/context/inquire.rs +++ b/crates/erg_compiler/context/inquire.rs @@ -1971,7 +1971,7 @@ impl Context { namespace, ) } - Type::Failure => Ok(SubstituteResult::Ok), + Type::Failure | Type::Never => Ok(SubstituteResult::Ok), _ => self.substitute_dunder_call( obj, attr_name,