diff options
| author | bors <bors@rust-lang.org> | 2021-05-21 16:36:36 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2021-05-21 16:36:36 +0000 |
| commit | 9c0379c0f559e88499c2d53fe21e4a5afff5cad5 (patch) | |
| tree | 6417b5c52914ef65e34c002994127c3bfac7e9f1 /compiler/rustc_llvm/src | |
| parent | af2ed1b51887ede4d766ee123d3fa216970d1fdd (diff) | |
| parent | 4b4382d88bc37b83dbbb6d1b00face1f1174fbe8 (diff) | |
| download | rust-9c0379c0f559e88499c2d53fe21e4a5afff5cad5.tar.gz rust-9c0379c0f559e88499c2d53fe21e4a5afff5cad5.zip | |
Auto merge of #85511 - Mark-Simulacrum:eq-not-sup, r=nikomatsakis
Adjust self-type check to require equality When we encounter `SomeType::<X>::foo`, `self_ty` is `SomeType<X>` and the method is defined in an impl on `SomeType<A>`. Previously, we required simply that `self_ty <: impl_ty`, but this is too lax: we should require equality in order to use the method. This was found as part of unrelated work on never type stabilization, but also fixes one of the wf test cases.
Diffstat (limited to 'compiler/rustc_llvm/src')
0 files changed, 0 insertions, 0 deletions