Minor changes to rust.md, and guide-ffi.md.
#16440
Closed
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
* `rust.md`: whanges for consistency * `guide-ffi.md`: wrapped inline code
Once you've fixed things locally, you can just force-push to a branch, and it will fix things. But that's just an aside. |
|
Hm, yeah. I was talking to some people on freenode/#github and it seemed like making a new fork was the easiest way to get things resolved. If my changes were more substantial I would have looked into alternatives. |
bors
added a commit
that referenced
this pull request
Aug 14, 2014
* `rust.md`: changes for consistency * `guide-ffi.md`: wrapped inline code NOTE: This is a duplicate of #16375. I completely messed up that fork, so I made a new fork.
nikomatsakis
added a commit
to nikomatsakis/rust
that referenced
this pull request
Feb 3, 2015
a trait obligation. Partial fix for rust-lang#16440 -- closure return types are not handled yet.
alexcrichton
added a commit
to alexcrichton/rust
that referenced
this pull request
Feb 4, 2015
This *almost* completes the job for rust-lang#16440. The idea is that even if we do not know whether some closure type `C` implements `Fn` or `FnMut` (etc), we still know its argument and return types. So if we see an obligation `C : Fn(_0)`, we can unify `_0` with those argument types while still considering the obligation ambiguous and unsatisfied. This helps to make a lot of progress with type inference even before closure kind inference is done. As part of this PR, the explicit `:` syntax is removed from the AST and completely ignored. We still infer the closure kind based on the expected type if that is available. There are several reasons for this. First, deciding the closure kind earlier is always better, as it allows us to make more progress. Second, this retains a (admittedly obscure) way for users to manually specify the closure kind, which is useful for writing tests if nothing else. Finally, there are still some cases where inference can fail, so it may be useful to have this manual override. (The expectation is that we will eventually revisit an explicit syntax for specifying the closure kind, but it will not be `:` and may be some sort of generalization of the `||` syntax to handle other traits as well.) This commit does not *quite* fix rust-lang#16640 because a snapshot is still needed to enable the obsolete syntax errors for explicit `&mut:` and friends. r? @eddyb as he reviewed the prior patch in this direction
matthiaskrgr
pushed a commit
to matthiaskrgr/rust
that referenced
this pull request
Feb 5, 2024
internal: Bump scip Fixes rust-lang#16440
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
rust.md: changes for consistencyguide-ffi.md: wrapped inline codeNOTE: This is a duplicate of #16375. I completely messed up that fork, so I made a new fork.