diff options
| author | bors <bors@rust-lang.org> | 2024-08-23 18:04:21 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-08-23 18:04:21 +0000 |
| commit | 3bd42d3c4d9b97f2ef26d27ea8dd5aa6d52bcb16 (patch) | |
| tree | c7377469e36c6448b10a1bb12657b7011f53f602 /tests/codegen/patchable-function-entry/patchable-function-entry-both-flags.rs | |
| parent | 3a097e16594f0f1aa89ff23a3f4f4659c09d9052 (diff) | |
| parent | eb896a580a09d2ebd695ae879a35ba7fc7e6ade3 (diff) | |
| download | rust-3bd42d3c4d9b97f2ef26d27ea8dd5aa6d52bcb16.tar.gz rust-3bd42d3c4d9b97f2ef26d27ea8dd5aa6d52bcb16.zip | |
Auto merge of #17948 - ShoyuVanilla:parent-self-sized, r=Veykril
fix: Wrong `Self: Sized` predicate for trait assoc items
Again while implementing object safety like #17939 😅
If we call `generic_predicates_query` on `fn foo` in the following code;
```
trait Foo {
fn foo();
}
```
It returns implicit bound `Self: Sized`, even though `Self` is not appearing as a generic parameter inside angle brackets, but as a parent generic parameter, "trait self".
This PR prevent pushing "implicit" `Self: Sized` predicates in such cases
Diffstat (limited to 'tests/codegen/patchable-function-entry/patchable-function-entry-both-flags.rs')
0 files changed, 0 insertions, 0 deletions