rollup merge of #19888: steveklabnik/gh19861

Fixes #19861

/cc @huonw

rollup merge of #19736: steveklabnik/gh19662

Fixes #19662.

rollup merge of #19235: bjz/reference

cc. @steveklabnik

auto merge of #20578 : japaric/rust/no-more-bc, r=nmatsakis

This PR removes boxed closures from the language, the closure type syntax (`let f: |int| -> bool = /* ... */`) has been obsoleted. Move all your uses of closures to the new unboxed closure system (i.e. `Fn*` traits).

[breaking-change] patterns

- `lef f = || {}`

This binding used to type check to a boxed closure. Now that boxed closures are gone, you need to annotate the "kind" of the unboxed closure, i.e. you need pick one of these: `|&:| {}`, `|&mut:| {}` or `|:| {}`.

In the (near) future we'll have closure "kind" inference, so the compiler will infer which `Fn*` trait to use based on how the closure is used. Once this inference machinery is in place, we'll be able to remove the kind annotation from most closures.

- `type Alias<'a> = |int|:'a -> bool`

Use a trait object: `type Alias<'a> = Box<FnMut(int) -> bool + 'a>`. Use the `Fn*` trait that makes sense for your use case.

- `fn foo(&self, f: |uint| -> bool)`

In this case you can use either a trait object or an unboxed closure:

``` rust
fn foo(&self, f: F) where F: FnMut(uint) -> bool;
// or
fn foo(&self, f: Box<FnMut(uint) -> bool>);
```

- `struct Struct<'a> { f: |uint|:'a -> bool }`

Again, you can use either a trait object or an unboxed closure:

``` rust
struct Struct<F> where F: FnMut(uint) -> bool { f: F }
// or
struct Struct<'a> { f: Box<FnMut(uint) -> bool + 'a> }
```

- Using `|x, y| f(x, y)` for closure "borrows"

This comes up in recursive functions, consider the following (contrived) example:

``` rust
fn foo(x: uint, f: |uint| -> bool) -> bool {
    //foo(x / 2, f) && f(x)  // can't use this because `f` gets moved away in the `foo` call
    foo(x / 2, |x| f(x)) && f(x)  // instead "borrow" `f` in the `foo` call
}
```

If you attempt to do the same with unboxed closures you'll hit ""error: reached the recursion limit during monomorphization" (see #19596):

``` rust
fn foo<F>(x: uint, mut f: F) -> bool where F: FnMut(uint) -> bool {
    foo(x / 2, |x| f(x)) && f(x)
    //~^ error: reached the recursion limit during monomorphization
}
```

Instead you *should* be able to write this:

``` rust
fn foo<F>(x: uint, mut f: F) -> bool where F: FnMut(uint) -> bool {
    foo(x / 2, &mut f) && f(x)
    //~^ error: the trait `FnMut` is not implemented for the type `&mut F`
}
```

But as you see above `&mut F` doesn't implement the `FnMut` trait. `&mut F` *should* implement the `FnMut` and the above code *should* work, but due to a bug (see #18835) it doesn't (for now).

You can work around the issue by rewriting the function to take `&mut F` instead of `F`:

``` rust
fn foo<F>(x: uint, f: &mut F) -> bool where F: FnMut(uint) -> bool {
    foo(x / 2, f) && (*f)(x)
}
```

This finally works! However writing `foo(0, &mut |x| x == 0)` is unergonomic. So you can use a private helper function to avoid this:

``` rust
// public API function
pub fn foo<F>(x: uint, mut f: F) -> bool where F: FnMut(uint) -> bool {
    foo_(x, &mut f)
}

// private helper function
fn foo_<F>(x: uint, f: &mut F) -> bool where F: FnMut(uint) -> bool {
    foo_(x / 2, f) && (*f)(x)
}
```

Closes #14798

---

There is more cleanup to do: like renaming functions/types from `unboxed_closure` to just `closure`, removing more dead code, simplify functions which now have unused arguments, update the documentation, etc. But that can be done in another PR.

r? @nikomatsakis @aturon (You probably want to focus on the deleted/modified tests.)
cc @eddyb

remove more stage0 stuff

unignore and fix doctests in guide and reference

fix tests

replace `f.call_mut(a, b, ..)` with `f(a, b, ..)`

Correctly "detuple" arguments when creating trait object shims for a trait method with rust-call ABI.

Fix ICE caused by forgotten bcx

address Niko's comments

ignore boxed closure doctests in the guide/reference

fix benchmarks

fix debuginfo tests

fix pretty tests

fix run-make test

fix cfail tests

fix rpass tests

typeck: remove dead code

trans: remove dead code

rustc: remove dead code

syntax: remove dead code

typeck: there are only unboxed closures now

syntax: make the closure type `f: |uint| -> bool` syntax obsolete

trans: remove Closure

remove mk_closure

remove AdjustAddEnv

remove TyClosure

remove ty_closure

coretest: remove/ignore tests

compiletest: remove boxed closures

driver: remove unboxed closures

trans: remove remaining boxed closures

typeck: remove remaining boxed closures

rustc: remove remaining boxed closures

EncodeInlinedItem: convert to "unboxed" closures

DecodeInlinedItem: convert to "unboxed" closures

conv_did: convert to "unboxed" closure

syntax: remove remaining boxed closures

std: remove remaining boxed closures

register snapshot

auto merge of #20572 : nikomatsakis/rust/assoc-supertrait-stuff, r=brson

The first few commits in the PR are just general refactoring. I was intending them for some other code I didn't get around to writing yet, but might as well land them now.

cc @japaric

Fixes #19541

Add lifetime elision information to the ownership guide.

Fixes #19662.

auto merge of #20514 : alexcrichton/rust/serialize-associated-type, r=aturon

This commit moves the libserialize crate (and will force the hand of the
rustc-serialize crate) to not require the `old_orphan_check` feature gate as
well as using associated types wherever possible. Concretely, the following
changes were made:

* The error type of `Encoder` and `Decoder` is now an associated type, meaning
  that these traits have no type parameters.

* The `Encoder` and `Decoder` type parameters on the `Encodable` and `Decodable`
  traits have moved to the corresponding method of the trait. This movement
  alleviates the dependency on `old_orphan_check` but implies that
  implementations can no longer be specialized for the type of encoder/decoder
  being implemented.

Due to the trait definitions changing, this is a:

[breaking-change]

Improve test to include a projection, per @huonw's suggestion.

Make supertrait references work in object types too.

Minor code formatting cleanups.

Permit bindings of (and references to) associated types defined in supertraits.

Introduce a CollectCtxt and impl AstConv on *that*. Also make all fns
in collect private except the public entry point.

Stop writing code that is (unnecessarily) generic over any AstConv in collect,
just hard-code the ccx.

Convert astconv and friends to use object types, not generics. No need to compile
all that stuff twice. Also, code reads so much nicer.

auto merge of #20451 : brson/rust/installer, r=alexcrichton

This fixes a mostly harmless syntax error in the install script.

serialize: Use assoc types + less old_orphan_check

This commit moves the libserialize crate (and will force the hand of the
rustc-serialize crate) to not require the `old_orphan_check` feature gate as
well as using associated types wherever possible. Concretely, the following
changes were made:

* The error type of `Encoder` and `Decoder` is now an associated type, meaning
  that these traits have no type parameters.

* The `Encoder` and `Decoder` type parameters on the `Encodable` and `Decodable`
  traits have moved to the corresponding method of the trait. This movement
  alleviates the dependency on `old_orphan_check` but implies that
  implementations can no longer be specialized for the type of encoder/decoder
  being implemented.

Due to the trait definitions changing, this is a:

[breaking-change]

auto merge of #20395 : huonw/rust/char-stab-2, r=aturon

cc #19260

The casing transformations are left unstable (it is highly likely to be better to adopt the proper non-1-to-1 case mappings, per #20333) as are `is_xid_*`.

I've got a little todo list in the last commit of things I thought about/was told about that I haven't yet handled (I'd also like some feedback).

auto merge of #20285 : FlaPer87/rust/oibit-send-and-friends, r=nikomatsakis

This commit introduces the syntax for negative implementations of traits
as shown below:

`impl !Trait for Type {}`

cc #13231
Part of RFC rust-lang/rfcs#127

r? @nikomatsakis

char: small tweak since `is_some` > equivalent `match`.

Apply explicit stabilities to unicode parts of CharExt.

Merge `UnicodeChar` and `CharExt`.

This "reexports" all the functionality of `core::char::CharExt` as
methods on `unicode::u_char::UnicodeChar` (renamed to `CharExt`).

Imports may need to be updated (one now just imports
`unicode::CharExt`, or `std::char::CharExt` rather than two traits from
either), so this is a

[breaking-change]

Rename `core::char::Char` to `CharExt` to match prelude guidelines.

Imports may need to be updated so this is a

[breaking-change]

Mark the contents of `char` stable.

Switch encode_utf* to by-value self.

Remove deprecated functionality from `char`.

auto merge of #20163 : bfops/rust/master, r=Gankro

TODOs:
  - ~~Entry is still `<'a, K, V>` instead of `<'a, O, V>`~~
  - ~~BTreeMap is still outstanding~~.
  - ~~Transform appropriate things into `.entry(...).get().or_else(|e| ...)`~~

Things that make me frowny face:
  - I'm not happy about the fact that this `clone`s the key even when it's already owned.
  - With small keys (e.g. `int`s), taking a reference seems wasteful.

r? @Gankro
cc: @cgaebel

Put negative trait implemtations behind a feature gate

Add syntax for negative implementations of traits

This commit introduces the syntax for negative implmenetations of traits
as shown below:

`impl !Trait for Type {}`

cc #13231
Part of RFC #3

Merge pull request #20520 from nhowell/patch-1

doc: Add missing `$`s in the Installing Rust guide

Reviewed-by: steveklabnik, steveklabnik

Merge pull request #20515 from tshepang/modernise-ping-pong-benchmark

bench: remove warnings from rt-messaging-ping-pong.rs

Reviewed-by: alexcrichton

Merge pull request #20512 from bjz/rustdoc

Allow rustdoc to accept vector pattern arguments

Reviewed-by: alexcrichton, alexcrichton

Merge pull request #20510 from tshepang/patch-6

doc: remove incomplete sentence

Reviewed-by: steveklabnik, steveklabnik

Merge pull request #20505 from estsauver/doc_20504

Update guide index to point to the task page

Reviewed-by: alexcrichton

Merge pull request #20500 from globin/fix/range-sugar

Fix range sugar

Reviewed-by: nick29581

Merge pull request #20495 from brson/cargo

Update guide for Cargo installation

Reviewed-by: steveklabnik

Merge pull request #20487 from trapp/doc-namespace-typo

Fix typo in documentation.

Reviewed-by: alexcrichton

Merge pull request #20485 from ipetkov/man-fix

Man page/--help dialog fix

Reviewed-by: alexcrichton

Merge pull request #20464 from ranma42/improve-make-hash

Improve `make_hash` function

Reviewed-by: Gankro, Gankro

Merge pull request #20457 from frewsxcv/rm-reexports

Remove graphviz::LabelText::* public reexport

Reviewed-by: cmr

Merge pull request #20452 from brson/rustup

Move rustup to the combined installer

Reviewed-by: brson

Merge pull request #20449 from brson/contributing

Put links to discuss.rust-lang.org and #rust-internals in CONTRIBUTING.m...

Reviewed-by: cmr

Merge pull request #20442 from csouth3/vim-syntax

Fix vim syntax highlighting for `derive`

Reviewed-by: alexcrichton

Merge pull request #20428 from tbu-/pr_guide_int_to_i32_2nd_take

Make all integers in the guide `i32`, implicitely

Reviewed-by: steveklabnik

Merge pull request #19963 from tshepang/patch-3

doc: mailing list is deprecated

Reviewed-by: brson

Merge pull request #20295 from eddyb/poly-const

Allow paths in constants to refer to polymorphic items.

Reviewed-by: nikomatsakis

[breaking change] Update entry API as part of RFC 509.

auto merge of #20527 : nikomatsakis/rust/japaric-boxed-uc-ice-fix, r=aturon

This fixes an ICE that japaric was encountering in the wf checker.

r? @aturon

Convert the TODO into a FIXME.

Fix ICE in WF checker when we encounter bound regions in object types.

rustc: allow paths in constants to refer to polymorphic items.

auto merge of #20443 : nikomatsakis/rust/autoderef-overloaded-calls, r=pcwalton

Use autoderef for call notation. This is consistent in that we now autoderef all postfix operators (`.`, `[]`, and `()`). It also means you can call closures without writing `(*f)()`. Note that this is rebased atop the rollup, so only the final commit is relevant.

r? @pcwalton

rustc: check_const: avoid recursing into a block's tail expression twice.

rustc: check_const: cleanup/simplify the code.

rustc: check_const: remove ~str support in patterns.

doc: Add missing `$`s in the Installing Rust guide

auto merge of #20437 : ranma42/rust/fix-make-install, r=alexcrichton

After 8b3c67690c4747b9fadfef407e6261524fb03f8a the `make install`
command fails if docs are not disabled through CFG_DISABLE_DOCS,
because now the `install` target uses
../../tmp/dist/$(DOC_PKG_NAME)-$(CFG_BUILD)/install.sh

Instead of explicitly depending on
dist/$(PKG_NAME)-$(CFG_BUILD).tar.gz, the `prepare_[un]install`
targets now depend on `dist-tar-bins`, which packages the appropriate
dist archives depending on the configuration.

fix range sugar

auto merge of #20393 : japaric/rust/impl-any, r=aturon

Needs a snapshot that contains PR #20385

r? @aturon

bench: remove warnings from rt-messaging-ping-pong.rs

auto merge of #20462 : alexcrichton/rust/remove-deprecated, r=aturon

This removes a large array of deprecated functionality, regardless of how
recently it was deprecated. The purpose of this commit is to clean out the
standard libraries and compiler for the upcoming alpha release.

Some notable compiler changes were to enable warnings for all now-deprecated
command line arguments (previously the deprecated versions were silently
accepted) as well as removing deriving(Zero) entirely (the trait was removed).

The distribution no longer contains the libtime or libregex_macros crates. Both
of these have been deprecated for some time and are available externally.

Remove deprecated functionality

This removes a large array of deprecated functionality, regardless of how
recently it was deprecated. The purpose of this commit is to clean out the
standard libraries and compiler for the upcoming alpha release.

Some notable compiler changes were to enable warnings for all now-deprecated
command line arguments (previously the deprecated versions were silently
accepted) as well as removing deriving(Zero) entirely (the trait was removed).

The distribution no longer contains the libtime or libregex_macros crates. Both
of these have been deprecated for some time and are available externally.

Allow rustdoc to accept vector pattern arguments

doc: remove incomplete sentence