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
Stop using PolyTraitRef
for closure/coroutine predicates already instantiated w placeholders
#123900
Conversation
aee76d4
to
9a88d57
Compare
This comment has been minimized.
This comment has been minimized.
lmao @rustbot author |
…antiated w placeholders
9a88d57
to
d2ec957
Compare
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 nits
compiler/rustc_trait_selection/src/traits/error_reporting/type_err_ctxt_ext.rs
Outdated
Show resolved
Hide resolved
compiler/rustc_trait_selection/src/traits/error_reporting/type_err_ctxt_ext.rs
Outdated
Show resolved
Hide resolved
@@ -1079,8 +1079,8 @@ impl<'cx, 'tcx> SelectionContext<'cx, 'tcx> { | |||
}) | |||
.map_err(|terr| { | |||
SignatureMismatch(Box::new(SignatureMismatchData { |
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.
is that sometimes used with an uninstantiated binder?
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.
nope, it's always instantiated
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.
then we can remove the Binder
from SignatureMismatchData
🤔
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.
isn't that what this PR is doing? 🤔
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.
?????????????????????????????????????????????? I might have been utterly confused
god knows what i was thinking. sorry
sorry, apparently unable to read diffs @bors r+ rollup |
@bors ping |
@bors r=lcnr rollup |
Stop using `PolyTraitRef` for closure/coroutine predicates already instantiated w placeholders r? lcnr
@bors retry yield to rollup |
…mpiler-errors Rollup of 4 pull requests Successful merges: - rust-lang#123900 (Stop using `PolyTraitRef` for closure/coroutine predicates already instantiated w placeholders) - rust-lang#123924 (Fix various bugs in `ty_kind_suggestion`) - rust-lang#123943 (Use the rustc_private libc less in tests) - rust-lang#123970 (zkvm: fix references to `os_str` module) r? `@ghost` `@rustbot` modify labels: rollup
Rollup merge of rust-lang#123900 - compiler-errors:nobound, r=lcnr Stop using `PolyTraitRef` for closure/coroutine predicates already instantiated w placeholders r? lcnr
r? lcnr