Repository navigation
Remove bare function types, replace with inference #3320
Description
We should remove the types for bare functions altogether and just infer the appropriate closure type when referring to an item.
{{ message }}
We should remove the types for bare functions altogether and just infer the appropriate closure type when referring to an item.
Activity
Refactor fn_ty, working towards #3320
nikomatsakis commentedon Sep 12, 2012
Deferring to 0.5.
nikomatsakis commentedon Oct 6, 2012
I've been working on this, current patch is blocked on #2263.
pnkfelix commentedon Mar 25, 2013
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 commentedon Mar 25, 2013
In any case, this is not something that should block 0.6.
nikomatsakis commentedon May 7, 2013
Plans have changed somewhat. We are keeping the bare fn types. I think this issue is no longer relevant.
Merge pull request rust-lang#3320 from scampi/unecessary-source-test
Auto merge of rust-lang#3320 - RalfJung:rustup, r=RalfJung
Auto-upload macOS ARM binaries to draft release (rust-lang#3320)
Merge pull request rust-lang#3320 from matklad/no-dep