diff options
| author | bors <bors@rust-lang.org> | 2024-08-04 19:13:40 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-08-04 19:13:40 +0000 |
| commit | 77fe1cb96c1cdccd0844137014386a6ada84e633 (patch) | |
| tree | 4f518b9fdc3e6252fe4a279a328ddaba357b3943 /tests/codegen/patchable-function-entry | |
| parent | 6da26c15580d5c41ee2bb29ae4372b8c52f96174 (diff) | |
| parent | fbe7233c0a17d23b0035112259a7b37cda2d419b (diff) | |
| download | rust-77fe1cb96c1cdccd0844137014386a6ada84e633.tar.gz rust-77fe1cb96c1cdccd0844137014386a6ada84e633.zip | |
Auto merge of #17789 - ShoyuVanilla:issue-17191, r=Veykril
fix: Insert a generic arg for `impl Trait` when lowering generic args
Fixes #17191
We are not inserting a generic arg when lowering generics like
```rust
fn foo<T: B<impl A>(..) { ... }
```
but when we are lowering predicates we do;
https://github.com/rust-lang/rust-analyzer/blob/aa00ddcf654a35ba0eafe17247cf189958d33182/crates/hir-ty/src/lower.rs#L1697-L1718
https://github.com/rust-lang/rust-analyzer/blob/aa00ddcf654a35ba0eafe17247cf189958d33182/crates/hir-ty/src/lower.rs#L310
and this mismatch causes index out of bound panic while substituting the predicates
Diffstat (limited to 'tests/codegen/patchable-function-entry')
0 files changed, 0 insertions, 0 deletions