Make all leaks safe in language reference

Since it was determined that no leaks were unsafe, some of the documentation is still not clear about this. Here's one example.

Auto merge of #26070 - brson:nightlyfix, r=alexcrichton

Broken on nightly linux distcheck.

test: Ignore gdb-pretty-struct-and-enums.rs

Broken on nightly linux distcheck.

Auto merge of #26066 - steveklabnik:docs_on_a_plane, r=alexcrichton

When things get stabilized, they don't always have their docs updated to remove the gate.

Auto merge of #26057 - audebert:master, r=alexcrichton

The constraint referenced here is:

```rust
fn foo<T>(t: T) where T: Trait<AssociatedType=u32> { /* */ }
```

Remove many unneeded feature annotations in the docs

When things get stabilized, they don't always have their docs updated to remove the gate.

Auto merge of #26047 - chuckSMASH:patch-1, r=alexcrichton

The sensible default used here for the version number in the
auto-generated Cargo.toml is 0.1.0, not 0.0.1 (at least as of cargo
0.2.0-nightly efb482d).

Auto merge of #26050 - bluss:linked-list, r=Gankro

The recent bug that was found in LinkedList reminded me of some general cleanup
that's been waiting for some time.

- Use a loop from the front in Drop, it works just as well and without an unsafe block
- Change Rawlink methods to use `unsafe` in an idiomatic way. This does mean that
we need an unsafe block for each dereference of a raw link. Even then, the extent
of unsafe-critical code is even larger of course, since safety depends on the whole
data structure's integrity. This is a general problem we are aware of.
- Some cleanup just to try to decrease the amount of Rawlink handling.

linked_list: Add Rawlink::from

linked_list: Add method Node::set_next

linked_list: Cleanup code in split_off

Fix small typo in diagnostics.rs

Auto merge of #26038 - eddyb:dst-nested, r=luqmana

Allows `Rc<RefCell<Trait>>` and other containers. Fixes #25351.
r? @nrc This is the discussed strategy, more or less.

Auto merge of #26045 - sourcefrog:patch-1, r=alexcrichton

File handles are inherited from, not by, the parent process

linked_list: Use unsafe properly for Rawlink methods

linked_list: Use a safe loop in Drop

Auto merge of #26041 - Nashenas88:sync-send-libcore-char, r=alexcrichton

This is a test for #22709.

Updated Cargo.toml version number output

The sensible default used here for the version number in the
auto-generated Cargo.toml is 0.1.0, not 0.0.1 (at least as of cargo
0.2.0-nightly).

fixup! Added test for Sync/Send on iterators within char. Added todo blocks for other files in libcore implementing iterators.

Another small grammar fix for process.rs

Doc fix for process.rs

File handles are inherited from, not by, the parent process

Auto merge of #26032 - achiwhane:master, r=steveklabnik

Added a sentence that tells the user that using main.rs and/or lib.rs is required for Cargo.

Added test for Sync/Send on iterators within char. Added todo blocks for other files in libcore implementing iterators.

Auto merge of #26024 - Aatch:inline-as_bytes, r=Gankro

This wasn't marked inline, so wasn't being inlined cross-crate. It's
actually a no-op function, since it's a wrapper around `mem::transmute`.
Marking it inline means that programs calling it can see that it's a
no-op and act accordingly during optimisation.

Allow nested generics for the last field of structs in unsizing.

Auto merge of #26023 - arielb1:fast-sized, r=eddyb

r? @eddyb

The change to `trans::common::type_is_sized` is because we currently abort, rather than return random results, on overflow.

fix test fallout

fix some errors

fix typo

edit for clarity and grammar

Clarified naming convention for Cargo

Added a sentence that tells the user that using main.rs and/or lib.rs is required for Cargo.

Auto merge of #26028 - steveklabnik:rollup, r=steveklabnik

- Successful merges: #25925, #26001, #26010, #26011, #26017, #26020
- Failed merges:

Rollup merge of #26020 - frewsxcv:patch-24, r=steveklabnik

Rollup merge of #26017 - Stebalien:fix-rustdoc, r=alexcrichton

rust-example-rendered should be a class, not an id.

fixes #26013

Rollup merge of #26011 - genodeftest:patch-1, r=steveklabnik

Rollup merge of #26010 - ranma42:improve-doc, r=steveklabnik

The statement is not completely exact, because it is valid to have
both 0 non-mutable references and 1 mutable reference. Instead, use
the same wording as in mutability.md.

Rollup merge of #26001 - sae-bom:master, r=alexcrichton

fixed build fail on aarch64-android
by support aarch64-android raw type definitions

Rollup merge of #25925 - azerupi:patch-4, r=steveklabnik

Hi

I added a little section in the for loops about the `enumerate()` function.
I think it's useful for beginners to know this function and how you can use it.

I used the title loopcounter, but it's probably not the best word to describe it. So let me know if there is a better word :)

Auto merge of #26008 - Marwes:arc_rc_as_ref, r=alexcrichton

The implementations are straightforward, I only hope I got the stability attributes correct(?).

Auto merge of #26004 - alexcrichton:msvc-llvm-assertions, r=brson

If LLVM assertions are enabled for MSVC, it looks like the output directory is
still just `Release` (or assertions are just always ignored on MSVC).

Mark std::as_bytes as inline

This wasn't marked inline, so wasn't being inlined cross-crate. It's
actually a no-op function, since it's a wrapper around `mem::transmute`.
Marking it inline means that programs calling it can see that it's a
no-op and act accordingly during optimisation.

Auto merge of #26022 - Gankro:fix-linked-list, r=huonw

Still running tests...

properly null out ptr in LinkedList::split_off - fixes #26020

Introduce a fast-path for type_is_sized/type_moves_by_default

This seems to improve performance by the same 2-3% of my selection
fast-path.

Doc-comment fix; trait names are capitalized

Fix order of rustdoc arguments.

rust-example-rendered should be a class, not an id.

fixes #26013

Auto merge of #25975 - arielb1:remove-param-space, r=nikomatsakis

r? @nikomatsakis

Auto merge of #25985 - bombless:patch-2, r=alexcrichton

nNumberOfBytesToRead --> nNumberOfBytesToWrite
lpNumberOfBytesRead --> lpNumberOfBytesWritten
LPVOID --> LPCVOID

See <https://msdn.microsoft.com/en-us/library/windows/desktop/aa365747(v=vs.85).aspx>

Auto merge of #26005 - Ms2ger:get_enum_variant_defs, r=Aatch

[Documentation: Macros] Use some more SSL

crate libc: Correct signature of `WriteFile`

[Documentation] Use SSL where possible

Minor fix to docs of constraints on mut/non-mut references

The statement is not completely exact, because it is valid to have
both 0 non-mutable references and 1 mutable reference. Instead, use
the same wording as in mutability.md.

Added AsRef implementations for Arc and Rc

Auto merge of #25981 - nham:fix_E0201, r=alexcrichton

It seems better to use "associated function" here. Methods are associated functions that take a `self` parameter.

Auto merge of #26002 - Manishearth:rollup, r=Manishearth

- Successful merges: #25900, #25987, #25988, #25990, #25994, #26000
- Failed merges:

Inline enum_variant_ids into its only caller.

Auto merge of #25991 - Jexell:master, r=alexcrichton

Removed an unnecessary `transmute` and replaced some code with an equivalent method.

Fix doctest (fixup \96#25900)

support aarch64-android raw type definitions

configure: Fix LLVM output dir on MSVC

If LLVM assertions are enabled for MSVC, it looks like the output directory is
still just `Release` (or assertions are just always ignored on MSVC).

Rollup merge of #26000 - heejongahn:master, r=alexcrichton

Added missing '>' at the end of my email address :)

Rollup merge of #25994 - marcusklaas:issue-25969, r=huonw

Issue: https://github.com/rust-lang/rust/issues/25969

Compare the span on the stable branch (correct) with the span on the nightly branch (incorrect) for the following example: http://is.gd/lTAo9c. This pull request fixes the regression.

@Manishearth has been kind enough to pitch some ideas for a regression test, mainly revolving around testing the span in compile-fail test, but this has proven unsuccessful. Other suggestions/ ideas would be much appreciated!

Rollup merge of #25990 - carols10cents:try-docs, r=nikomatsakis

The API documentation is not explicit enough that because `try!` returns
`Err` early for you, you can only use it in functions that return
`Result`. The book mentions this, but if you come across `try!` outside
of the book and look it up in the docs, this restriction on the return
type of the function is not particularly clear.

I seriously had this epiphany a few days ago after working with Rust for MONTHS, and after seeing [a friend have to come to the same realization](http://joelmccracken.github.io/entries/a-simple-web-app-in-rust-pt-2a/), I'd like to save more people from this confusion :) :sparkling_heart:

Rollup merge of #25988 - webmobster:master, r=alexcrichton

The priority policy of RWLock is not specified, and the fact there is no policy should probably be specified.

Rollup merge of #25987 - pnkfelix:fix-dropck-doc-formatto, r=Manishearth

Fix the dropck doc formatting to avoid hitting four-space indent.

This was causing `rustdoc` to interpret the part starting with `(A.) ...` as a code block based on its four-space indentation, which then was treated by `rustdoc` as a *Rust* code snippet, and thus was attempting (and failing) to parse my english as Rust code. Thus causing the compiler-docs build to fail.

Independently, we should probably change `rustdoc` to not interpret four-space indents as code that needs to be tested; it seems too perilous to me at least.

(But the formatting here needed to be changed either way.)

cc Issue #25699.

Rollup merge of #25900 - lorenzb:more_about_types, r=nikomatsakis

My main sources of information are [RFC401](https://github.com/rust-lang/rfcs/blob/master/text/0401-coercions.md), the rust IRC channel, and a bunch of experiments to figure out what `rustc` currently supports.
Note that the RFC calls for some coercion behaviour that is not implemented yet (see #18469).
The documentation in this PR mostly covers current behaviour of rust and doesn't document the future behaviour. I haven't written about receiver expression coercion.

I would be happy to rewrite/adapt the PR according to feedback.

r? @steveklabnik

Typo fixed in AUTHORS.txt

Added '>' at the end of my email address

Auto merge of #25743 - michaelsproul:match-diagnostics, r=nrc

Part of #24407.

Currently the diagnostics for range patterns are a bit wrong:

```rust
fn main() {
    match 5u32 {
        0 ... 10 => (),
        'a' ... 10 => (),
        10 ... 'z' => (),
        "what" ... 10 => (),
        "what" ... "well" => (),
        10 ... "what" => ()
    }
}
```

```
range.rs:4:9: 4:19 error: mismatched types in range:
 expected integral variable,
    found char [E0211]
range.rs:4         'a' ... 10 => (),
                   ^~~~~~~~~~
range.rs:4:9: 4:16 error: only char and numeric types are allowed in range [E0029]
range.rs:4         'a' ... 10 => (),
                   ^~~~~~~
range.rs:4:9: 4:19 error: mismatched types:
 expected `u32`,
    found `char`
(expected u32,
    found char) [E0308]
range.rs:4         'a' ... 10 => (),
                   ^~~~~~~~~~
range.rs:5:9: 5:19 error: mismatched types in range:
 expected char,
    found integral variable [E0211]
range.rs:5         10 ... 'z' => (),
                   ^~~~~~~~~~
range.rs:5:9: 5:15 error: only char and numeric types are allowed in range [E0029]
range.rs:5         10 ... 'z' => (),
                   ^~~~~~
range.rs:6:9: 6:22 error: mismatched types in range:
 expected integral variable,
    found &-ptr [E0211]
range.rs:6         "what" ... 10 => (),
                   ^~~~~~~~~~~~~
range.rs:6:9: 6:19 error: only char and numeric types are allowed in range [E0029]
range.rs:6         "what" ... 10 => (),
                   ^~~~~~~~~~
range.rs:6:9: 6:22 error: mismatched types:
 expected `u32`,
    found `&'static str`
(expected u32,
    found &-ptr) [E0308]
range.rs:6         "what" ... 10 => (),
                   ^~~~~~~~~~~~~
range.rs:7:9: 7:19 error: only char and numeric types are allowed in range [E0029]
range.rs:7         "what" ... "well" => (),
                   ^~~~~~~~~~
range.rs:7:9: 7:26 error: mismatched types:
 expected `u32`,
    found `&'static str`
(expected u32,
    found &-ptr) [E0308]
range.rs:7         "what" ... "well" => (),
                   ^~~~~~~~~~~~~~~~~
range.rs:8:9: 8:22 error: mismatched types in range:
 expected &-ptr,
    found integral variable [E0211]
range.rs:8         10 ... "what" => ()
                   ^~~~~~~~~~~~~
range.rs:8:9: 8:15 error: only char and numeric types are allowed in range [E0029]
range.rs:8         10 ... "what" => ()
                   ^~~~~~
error: aborting due to 12 previous errors
```

The problems here are:

1. The type of the end of the range is used to predict the type of the start (only mildly counter intuitive).
2. E0029 is erroneously generated for `char ... num` and `num ... char`.
2. `u32` is mentioned.
3. Errors which are essentially the same are reported multiple times.

I've attempted to fix this by checking the requirements in a different order. The output I've achieved for the above example is:

```
/home/michael/Temp/range.rs:4:17: 4:22 error: mismatched types in range:
 expected char,
    found integral variable [E0211]
/home/michael/Temp/range.rs:4         'a' ... 10 => (),
                                              ^~~~~
/home/michael/Temp/range.rs:5:16: 5:22 error: mismatched types in range:
 expected integral variable,
    found char [E0211]
/home/michael/Temp/range.rs:5         10 ... 'z' => (),
                                             ^~~~~~
/home/michael/Temp/range.rs:6:9: 6:19 error: only char and numeric types are allowed in range [E0029]
/home/michael/Temp/range.rs:6         "what" ... 10 => (),
                                      ^~~~~~~~~~
/home/michael/Temp/range.rs:6:9: 6:19 help: run `rustc --explain E0029` to see a detailed explanation
/home/michael/Temp/range.rs:6:9: 6:19 note: Start type: &'static str
End type: _
/home/michael/Temp/range.rs:6         "what" ... 10 => (),
                                      ^~~~~~~~~~
/home/michael/Temp/range.rs:7:9: 7:26 error: only char and numeric types are allowed in range [E0029]
/home/michael/Temp/range.rs:7         "what" ... "well" => (),
                                      ^~~~~~~~~~~~~~~~~
/home/michael/Temp/range.rs:7:9: 7:26 help: run `rustc --explain E0029` to see a detailed explanation
/home/michael/Temp/range.rs:7:9: 7:26 note: Start type: &'static str
End type: &'static str
/home/michael/Temp/range.rs:7         "what" ... "well" => (),
                                      ^~~~~~~~~~~~~~~~~
/home/michael/Temp/range.rs:8:16: 8:25 error: only char and numeric types are allowed in range [E0029]
/home/michael/Temp/range.rs:8         10 ... "what" => ()
                                             ^~~~~~~~~
/home/michael/Temp/range.rs:8:16: 8:25 help: run `rustc --explain E0029` to see a detailed explanation
/home/michael/Temp/range.rs:8:16: 8:25 note: Start type: _
End type: &'static str
/home/michael/Temp/range.rs:8         10 ... "what" => ()
                                             ^~~~~~~~~
error: aborting due to 5 previous errors
```

I think this is already tonnes better, but the `Start type/End type` stuff could be neater. I don't think there's really any need to start a `note:` block but I wanted to get some feedback on this. I'd also appreciate advice on how to print the integer types as something other than `_`.

Fix span for ExprPath variants

Auto merge of #25959 - pnkfelix:fsk-hack-move-val-init, r=nikomatsakis

Hack the move_val_init intrinsic to trans directly into the destination address.

This is to remove an intermediate (and unnecessary) alloca on the stack that one otherwise suffers when using this intrinsic.

This is part of the `box` protocol work; in particular, this is meant to address the `ptr::write` codegen issues alluded to at this comment:

  https://github.com/rust-lang/rust/pull/22086#issuecomment-96168675

cc #22181

Use a plain Vec instead of VecPerParamSpace in trait selection.

Auto merge of #24910 - steveklabnik:remove_static_assert, r=alexcrichton

This was always a weird feature, and isn't being used in the compiler.
Static assertions should be done better than this.

Fixes #13951
Fixes #23008
Fixes #6676

This is behind a feature gate, but that's still a

[breaking-change]

(It's not entirely clear to me that this should or shouldn't have an RFC, but if it does, I'm fine blocking on such a thing.)

Add priority policy to RWLock API Documentation

Indent 4 spaces instead of 2

Return Ok(()) instead of Ok()

Use write_all instead of write_line

Add prelude to get Write

Remove unused get_enum_variant_defs functions.

Update linked_list.rs

Removed an unnecessary `transmute` and replaced some code with an equivalent method.

Auto merge of #25966 - pelmers:save-api, r=nrc

Move EnumData into the API, and change a few spots where we use &String[..] when it is equivalent to &String.

r? @nrc

Improve `try!` docs to make clearer it returns `Result`.

The API documentation is not explicit enough that because `try!` returns
`Err` early for you, you can only use it in functions that return
`Result`. The book mentions this, but if you come across `try!` outside
of the book and look it up in the docs, this restriction on the return
type of the function is not particularly clear.

Remove #[static_assert]

This was always a weird feature, and isn't being used in the compiler.
Static assertions should be done better than this.

This implements RFC #1096.

Fixes #13951
Fixes #23008
Fixes #6676

This is behind a feature gate, but that's still a

[breaking-change]

Fix the dropck doc formatting to avoid hitting four-space indent.

This was causing `rustdoc` to interpret the part starting with
`(A.) ...` as a code block based on its four-space indentation,
which then was treated by `rustdoc` as a *Rust* code snippet,
and thus was attempting (and failing) to parse my english as
Rust code. Thus causing the compiler-docs build to fail.

Independently, we should probably change `rustdoc` to not interpret
four-space indents as code that needs to be tested; it seems too
perilous to me at least.

(But the formatting here needed to be changed either way.)

cc Issue #25699.

Auto merge of #25984 - Manishearth:rollup, r=Manishearth

- Successful merges: #25939, #25963, #25970, #25971, #25974
- Failed merges:

Rollup merge of #25974 - richo:stack-msg, r=alexcrichton

These are implemented in asm, they're just not inlined.

Open questions are:
* Should I just inline them? They're.. big, but it seems as though this needs violates the #[inline(always)] gaurantees the others make.
* Does something (llvm?) provide these as intrinsics? The structure of this code suggests that we could be hoisting off something else, instead of flagrantly ignoring it like we do for power and mips.

Rollup merge of #25971 - richo:configurable-python, r=alexcrichton

r? @alexcrichton

Rollup merge of #25970 - gkoz:make_compiler_docs, r=brson

Rollup merge of #25963 - steveklabnik:link_to_cell, r=alexcrichton

Rollup merge of #25939 - wca:fix-freebsd-configure, r=alexcrichton

Bug fixes for configure on FreeBSD:
- Don't ban using gcc; newer versions can be installed and other checks should enforce its suitability.
- Don't force Rust to link itself with /usr/local/lib{,gcc4[46]}, which causes builds to fail if Rust is already installed.  I've not been able to find an use case where this is actually necessary.

Make E0201 detect when duplicate function is a method.

Improve diagnostic messages for range patterns.

Auto merge of #25938 - wca:fix-clang-check-compatibility, r=alexcrichton

Not all /bin/sh have [[ available, so for compatibility using case..esac
for pattern matching is better.

s/method/associated function/ in E0201

Auto merge of #25935 - wesleywiser:fix_libcollection_build_warnings, r=alexcrichton

Fixes a bunch of warnings that are generated during the stage0 build of libcollections.

std: clarify comments about sp* implementations

Auto merge of #25867 - petrochenkov:ucellv, r=alexcrichton

Now when const functions are implemented and used, the `value` field of `UnsafeCell` can be made deprecated (and then private as intended).

configure: Allow specifying your python with --python

mk: fix the CFG_ENABLE_COMPILER_DOCS spelling

Auto merge of #25926 - Ms2ger:enum_variant_ids, r=alexcrichton