-
Notifications
You must be signed in to change notification settings - Fork 13k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add some GATs-related regression tests #90678
Conversation
Can you add the bounds the test outputs say to? So they either pass or fail during type checking. |
b1c3002
to
186e2a4
Compare
Sure, updated as suggsted. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
r=me after adding FIXME
trait A<'a> { | ||
type B<'b>: Clone | ||
where | ||
'a: 'b, Self: 'a, Self: 'b; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Oh uh...right. can you add a FIXME(generic_associated_types) here to remove one of these bounds? It's currently unresolved for the outlives lint and I don't want to miss this after that is resolved.
186e2a4
to
ebd401b
Compare
@bors r=jackh726 rollup+ |
📌 Commit ebd401b has been approved by |
@bors rollup |
Rollup of 6 pull requests Successful merges: - rust-lang#87530 (Add comments regarding superfluous `!Sync` impls) - rust-lang#90591 (treat illumos like solaris in failing ui tests which need it) - rust-lang#90678 (Add some GATs-related regression tests) - rust-lang#90688 (enable `dotprod` target feature in arm) - rust-lang#90708 (Add a note about feature(explicit_generic_args_with_impl_trait) to the relevant error message) - rust-lang#90720 (Update cargo) Failed merges: r? `@ghost` `@rustbot` modify labels: rollup
Closes #88595, closes #90014
r? @jackh726