mirror of
https://github.com/erg-lang/erg.git
synced 2025-08-04 02:39:20 +00:00
Merge branch 'main' into perf_or_type
This commit is contained in:
commit
6781db1588
4 changed files with 124 additions and 32 deletions
|
@ -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,
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue