fix(experimental elaborator): Fix duplicate resolve_type on self type and don't leak a trait impl's generics
#6040
| Job | Run time |
|---|---|
| 4s | |
| 10m 29s | |
| 0s | |
| 0s | |
| 10m 33s |