fix(experimental elaborator): Fix duplicate resolve_type on self type and don't leak a trait impl's generics

fix(experimental elaborator): Fix duplicate resolve_type on self type and don't leak a trait impl's generics #9713