Skip to content

emit ProjectionPredicate obligations when relating projections#96912

Closed
BoxyUwU wants to merge 3 commits into
rust-lang:masterfrom
BoxyUwU:lots_of_obligations
Closed

emit ProjectionPredicate obligations when relating projections#96912
BoxyUwU wants to merge 3 commits into
rust-lang:masterfrom
BoxyUwU:lots_of_obligations

Conversation

@BoxyUwU

@BoxyUwU BoxyUwU commented May 10, 2022 •
edited
Loading

Copy link
Copy Markdown
Member

fixes #96230
might also be #89196 need to check

when relating a projection with infer vars emit a ProjectionPredicate obligation so when encountering something like <T as Trait<_>>::Assoc eq Foo<u32> we can avoid erroring incase the _ gets inferred to something which would allow normalizing the projection to Foo<u32>

these changes should be feature gated before merging as the changes to selection are sus but its nice to have CI run with the changes having an effect while working on this

@rustbot rustbot added the T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. label May 10, 2022
compiler-errors
compiler-errors reviewed May 10, 2022
View reviewed changes
Comment thread src/test/ui/generic-associated-types/bugs/issue-88460.rs Outdated
@BoxyUwU BoxyUwU force-pushed the lots_of_obligations branch from bd0f367 to 5db1bb3 Compare May 13, 2022 16:40
@bors

bors commented May 19, 2022

Copy link
Copy Markdown
Collaborator

☔ The latest upstream changes (presumably #97024) made this pull request unmergeable. Please resolve the merge conflicts.

@bors bors added the S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. label May 19, 2022
@Mark-Simulacrum

Mark-Simulacrum commented May 19, 2022

Copy link
Copy Markdown
Member

@bors treeclosed=1000 (https://rust-lang.zulipchat.com/#narrow/stream/242791-t-infra/topic/try-based.20merge.20into.20master)

This was referenced May 19, 2022
Merged
Merged
Merged
Merged
@BoxyUwU BoxyUwU force-pushed the lots_of_obligations branch 2 times, most recently from 4ea40a6 to 56d3ee3 Compare May 21, 2022 02:40
@BoxyUwU BoxyUwU mentioned this pull request May 25, 2022
Closed
@BoxyUwU BoxyUwU force-pushed the lots_of_obligations branch from 56d3ee3 to 0730fcc Compare June 11, 2022 03:15
@BoxyUwU BoxyUwU force-pushed the lots_of_obligations branch 2 times, most recently from d92e002 to 275bc1a Compare June 20, 2022 16:38
@BoxyUwU BoxyUwU changed the title [WIP] emit ProjectionPredicate obligations when relating projections emit ProjectionPredicate obligations when relating projections Jun 20, 2022
@BoxyUwU

BoxyUwU commented Jun 20, 2022

Copy link
Copy Markdown
Member Author

r? @jackh726

This was referenced Jun 20, 2022
Merged
Merged
@jackh726

jackh726 commented Jun 20, 2022

Copy link
Copy Markdown
Member

Uh, bors picked up an old comment?

@bors treeclosed-

@bors

bors commented Jun 27, 2022

Copy link
Copy Markdown
Collaborator

☔ The latest upstream changes (presumably #98566) made this pull request unmergeable. Please resolve the merge conflicts.

@BoxyUwU BoxyUwU added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. and removed S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. labels Jul 2, 2022
@jackh726

jackh726 commented Jul 10, 2022

Copy link
Copy Markdown
Member

@BoxyUwU thoughts to schedule this for a types team deep dive?

It would nice to have a greater discussion about the direction here (and of the proposed workaround to prevent overflows). I definitely don't feel comfortable approving the workaround by myself, because I do think it locks us into a corner, sort of.

@BoxyUwU

BoxyUwU commented Jul 11, 2022

Copy link
Copy Markdown
Member Author

not familiar with what actually is required for a types team dive but it does seem like a good idea to get peoples opinions on this, esp the workaround for the typenum regression since if we were to stabilize this + that hack we couldnt remove the latter without also removing the former which could break code relying on the inference improvements gained here.

@BoxyUwU BoxyUwU mentioned this pull request Jul 25, 2022
Closed
@jackh726

jackh726 commented Aug 7, 2022

Copy link
Copy Markdown
Member

Going to mark this as a waiting on types team.

@BoxyUwU BoxyUwU force-pushed the lots_of_obligations branch from 275bc1a to 431460d Compare September 8, 2022 16:20
@compiler-errors

compiler-errors commented Sep 8, 2022

Copy link
Copy Markdown
Contributor

@bors try

@bors

bors commented Sep 8, 2022

Copy link
Copy Markdown
Collaborator

⌛ Trying commit 431460d4a724b96af190d4bb91a5040a1ba1ab32 with merge ae78d5a6ece2513cec91dad9a182fabcaa5a43d6...

@compiler-errors

compiler-errors commented Sep 8, 2022

Copy link
Copy Markdown
Contributor

nvm boxy said she was not yet done

@bors

bors commented Sep 8, 2022

Copy link
Copy Markdown
Collaborator

💔 Test failed - checks-actions

@bors bors added the S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. label Sep 8, 2022
@rust-log-analyzer

This comment has been minimized.

Sign in to view
@rust-log-analyzer

This comment has been minimized.

Sign in to view
@bors

bors commented Sep 13, 2022

Copy link
Copy Markdown
Collaborator

☔ The latest upstream changes (presumably #96709) made this pull request unmergeable. Please resolve the merge conflicts.

@BoxyUwU BoxyUwU mentioned this pull request Sep 20, 2022
Closed
@BoxyUwU BoxyUwU force-pushed the lots_of_obligations branch from 3d9343b to 686df5f Compare September 21, 2022 09:44
@bors

bors commented Sep 26, 2022

Copy link
Copy Markdown
Collaborator

☔ The latest upstream changes (presumably #102324) made this pull request unmergeable. Please resolve the merge conflicts.

@apiraino

apiraino commented Nov 3, 2022

Copy link
Copy Markdown
Contributor

checking this PR, with regard to this comment: is there anything planned (or already discussed) from team Types?

cc @rust-lang/types

@jackh726

jackh726 commented Nov 3, 2022

Copy link
Copy Markdown
Member

Going to mark this as blocked as waiting for non-fatal recursive errors. @lcnr is working on this AFAIK.

@jackh726 jackh726 added S-blocked Status: Blocked on something else such as an RFC or other implementation work. and removed S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. S-waiting-on-team labels Nov 3, 2022
@BoxyUwU

BoxyUwU commented Jan 11, 2023 •
edited
Loading

Copy link
Copy Markdown
Member Author

Gonna close this since there is no chance it gets merged any time soon. non fatal recursive errors is unlikely to happen until we get the new solver

@BoxyUwU BoxyUwU closed this Jan 11, 2023
@aliemjay aliemjay mentioned this pull request Jan 24, 2023
Open
@BoxyUwU BoxyUwU mentioned this pull request Jan 31, 2023
Merged
bors added a commit to rust-lang-ci/rust that referenced this pull request Feb 11, 2023
@bors
Auto merge of rust-lang#107507 - BoxyUwU:deferred_projection_equality…
1623ab0 
…, r=lcnr

Implement `deferred_projection_equality` for erica solver

Somewhat of a revival of rust-lang#96912. When relating projections now emit an `AliasEq` obligation instead of attempting to determine equality of projections that may not be as normalized as possible (i.e. because of lazy norm, or just containing inference variables that prevent us from resolving an impl). Only do this when the new solver is enabled
Jarcho pushed a commit to Jarcho/rust that referenced this pull request Feb 26, 2023
@bors
Auto merge of rust-lang#107507 - BoxyUwU:deferred_projection_equality…
863e96d 
…, r=lcnr

Implement `deferred_projection_equality` for erica solver

Somewhat of a revival of rust-lang#96912. When relating projections now emit an `AliasEq` obligation instead of attempting to determine equality of projections that may not be as normalized as possible (i.e. because of lazy norm, or just containing inference variables that prevent us from resolving an impl). Only do this when the new solver is enabled
@lcnr lcnr mentioned this pull request Apr 17, 2025
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

1 more reviewer

@compiler-errors compiler-errors compiler-errors left review comments

Reviewers whose approvals may not affect merge requirements

Assignees

@jackh726 jackh726

Labels

S-blocked Status: Blocked on something else such as an RFC or other implementation work. T-types Relevant to the types team, which will review and decide on the PR/issue.

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Error typechecking lifetime-GAT bound when "parent" bound is inferred

8 participants

@BoxyUwU @bors @Mark-Simulacrum @jackh726 @compiler-errors @rust-log-analyzer @apiraino @rustbot