language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-09-29 04:24:43 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge branch 'main' into clippy

Browse source
This commit is contained in:
Shunsuke Shibayama 2022-08-17 01:32:14 +09:00 • committed by GitHub
commit e77d7c081f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
compiler/erg_compiler/initialize.rs
View file

@ -67,7 +67,7 @@ impl Context {
impls.push((t.clone(), impl_trait.clone())); impls.push((t.clone(), impl_trait.clone()));
} else { } else {
self.poly_trait_impls self.poly_trait_impls
.insert(Str::rc(impl_trait.name()), vec![impl_trait.clone()]); .insert(Str::rc(impl_trait.name()), vec![(t.clone(), impl_trait.clone())]);
} }
} }
} }