diff options
| author | bors <bors@rust-lang.org> | 2022-10-26 12:06:26 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-10-26 12:06:26 +0000 |
| commit | feefbe79185baa2601ca0cb9634cdc997d137b71 (patch) | |
| tree | 9d02f4893eacd70ea7dc43650f9677415cbcc212 /compiler/rustc_codegen_gcc/example/std_example.rs | |
| parent | 53b6d69e931a52cca44ef94c3b713b4d255754b8 (diff) | |
| parent | 67f1d8fe2cfc3da4170cd031e835404811734df5 (diff) | |
| download | rust-feefbe79185baa2601ca0cb9634cdc997d137b71.tar.gz rust-feefbe79185baa2601ca0cb9634cdc997d137b71.zip | |
Auto merge of #13475 - lowr:fix/lookup-impl-method-trait-ref, r=flodiebold
fix: Test all generic args for trait when finding matching impl Addresses https://github.com/rust-lang/rust-analyzer/pull/13463#issuecomment-1287816680 When finding matching impl for a trait method, we've been testing the unifiability of self type. However, there can be multiple impl of a trait for the same type with different generic arguments for the trait. This patch takes it into account and tests the unifiability of all type arguments for the trait (the first being the self type) thus enables rust-analyzer to find the correct impl even in such cases.
Diffstat (limited to 'compiler/rustc_codegen_gcc/example/std_example.rs')
0 files changed, 0 insertions, 0 deletions