diff options
| author | bors <bors@rust-lang.org> | 2023-08-21 13:10:15 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-08-21 13:10:15 +0000 |
| commit | fe5f5912579d02c4e6088c89574493dfa988531a (patch) | |
| tree | 5fea91bb8cdeed115b19497711926d232245e988 /src/librustdoc/passes | |
| parent | b131febeb0e957628ab3d01f295e7c2333acf474 (diff) | |
| parent | 31032ecb1550a402a726e9c244f6a716b214cc9d (diff) | |
Auto merge of #115039 - jackh726:impl_compare_add_alias_obligations, r=aliemjay
Add projection obligations when comparing impl too
Fixes #115033
In the test, when we ask for WF obligations of `DatasetIter<'a, ArrayBase<D>>`, we get back two important obligations: `[<D as Data>::Elem -> ?1, ?1: 'a]`. If we don't add the projection obligation, `?1` remains unconstrained.
An alternative solution would be to use unnormalized obligations, where we only have one relevant obligation: `<D as Data>::Elem: 'a`. This would leave no inference vars unconstrained.
Diffstat (limited to 'src/librustdoc/passes')
0 files changed, 0 insertions, 0 deletions