Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Remove bare function types, replace with inference #3320

Closed
nikomatsakis opened this issue Aug 31, 2012 · 5 comments
Closed

Remove bare function types, replace with inference #3320

nikomatsakis opened this issue Aug 31, 2012 · 5 comments
Assignees
@nikomatsakis
Labels
A-typesystem Area: The type system C-cleanup Category: PRs that clean code up or issues documenting cleanup.

Comments

@nikomatsakis
Copy link
Contributor

We should remove the types for bare functions altogether and just infer the appropriate closure type when referring to an item.
@ghost ghost assigned nikomatsakis Aug 31, 2012
nikomatsakis added a commit that referenced this issue Sep 7, 2012
@nikomatsakis
Refactor fn_ty, working towards #3320
fb8786f
@burg burg mentioned this issue Sep 12, 2012
Closed
@nikomatsakis
Copy link
Contributor Author

Deferring to 0.5.

@nikomatsakis
Copy link
Contributor Author

I've been working on this, current patch is blocked on #2263.

This was referenced Oct 6, 2012
Closed
Closed
@pnkfelix
Copy link
Member

The goal of this bug is not clear to me. If the goal is to enable the use of inference in more contexts, then by all means, lets do that. But if the goal is to remove the option of writing down an explicit type, then I would probably not be in favor of it. (The ability to declare types explicitly has been a useful tool for me in narrowing down cases where type inference signals a problem.)

@pnkfelix
Copy link
Member

In any case, this is not something that should block 0.6.

@nikomatsakis
Copy link
Contributor Author

Plans have changed somewhat. We are keeping the bare fn types. I think this issue is no longer relevant.

bors pushed a commit to rust-lang-ci/rust that referenced this issue May 15, 2021
@topecongiro
Merge pull request rust-lang#3320 from scampi/unecessary-source-test
bc32f9f 
remove unecessary source test file
RalfJung pushed a commit to RalfJung/rust that referenced this issue Mar 3, 2024
@bors
Auto merge of rust-lang#3320 - RalfJung:rustup, r=RalfJung
02ee564 
Rustup

Let's see if rust-lang#121114 gets perf back to the old level.
jaisnan pushed a commit to jaisnan/rust-dev that referenced this issue Jul 29, 2024
@tautschnig
Auto-upload macOS ARM binaries to draft release (rust-lang#3320)
53b702d 
In rust-lang#3266 a job to build macOS ARM binaries was added, but the artifacts
weren't yet propagated to the release. This PR adds this missing step.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@nikomatsakis nikomatsakis

Labels
A-typesystem Area: The type system C-cleanup Category: PRs that clean code up or issues documenting cleanup.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@nikomatsakis @pnkfelix