Rollup merge of #29875 - steveklabnik:gh29784, r=Manishearth

Fixes #29784

Rollup merge of #29874 - steveklabnik:gh29711, r=alexcrichton

in their API docs

Fixes #29711

Rollup merge of #29873 - steveklabnik:gh29493, r=nikomatsakis

Fixes #29493

Rollup merge of #29868 - petrochenkov:gv, r=sanxiyn

r? @arielb1

Auto merge of #29837 - Wafflespeanut:unicode_chars, r=Manishearth

fixes #25957

Detect confusing unicode characters and show the alternative

Auto merge of #29870 - petrochenkov:typaren, r=nrc

Like https://github.com/nrc/rust/commit/d21bfff78cd949ce72be57d3528c4f6985190feb, but for the type grammar.

r? @nrc

Auto merge of #29860 - steveklabnik:stackheapfixes, r=huonw

Fixes #29853
Fixes #29852

While these points are true, we're not going for 100% accuracy here,
this is introductory material. Changing these things would be more
confusing, but it is important to note that we're presenting an
abstraction here.

r? @huonw

Auto merge of #29794 - semarie:openbsd-stdcpp-path, r=alexcrichton

under openbsd, the library path of libstdc++ need to be explicit (due
to the fact the default linker `cc` is gcc-4.2, and not gcc-4.9).

but when a recent LLVM is installed, rustc compilation pikes the bad
LLVM version (which live in /usr/local/lib, which is same directory of
libestdc++.so for gcc-4.9).

this patch move the libstdc++ path from RUST_FLAGS_<target> to special
variable, and use it *after* LLVM_LIBDIR_RUSTFLAGS_<target> in
arguments.

r? @alexcrichton

Auto merge of #29297 - tbu-:pr_env_ignore_malformed, r=alexcrichton

Otherwise, the iterator and the functions for getting specific
environment variables might disagree, for environments like

    FOOBAR

Make note about traits that can be derived

in their API docs

Fixes #29711

Ignore malformed environment strings like glibc does

Otherwise, the iterator and the functions for getting specific
environment variables might disagree, for environments like

    FOOBAR

Variable names starting with equals sign are OK:

glibc only interprets equals signs not in the first position as
separators between variable name and variable value. Instead of skipping
them entirely, a leading equals sign is interpreted to be part of the
variable name.

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

- Successful merges: #29549, #29796, #29843, #29863, #29865
- Failed merges:

Remove nomicon reference to copy_lifetime

Fixes #29784

Improve UFCS example

Fixes #29493

Rollup merge of #29865 - apasel422:mutex, r=alexcrichton

r? @alexcrichton

Rollup merge of #29863 - steveklabnik:gh29526, r=alexcrichton

Fixes #29526

Rollup merge of #29843 - arcnmx:authors, r=brson

Duplicate entries removed. This doesn't quite completely allow for generating AUTHORS.txt from scratch but it's much closer now.

Rollup merge of #29796 - barosl:unresolved-import-extern-crate, r=steveklabnik

The command-line error message for E0432 does mention the possibility of missing the `extern crate` declaration, but the detailed error message for it doesn't.

Fixes #29517.

Rollup merge of #29549 - brson:docidx, r=steveklabnik

I noticed the nomicon was not listed!

I also removed links to racer and rustfmt since they were not *doc-specific* links, just links to tools, as well as pointed the cargo link directly at the docs.

Removed all the community stuff. There are lots of other places to find this now, including the website.

With pending website changes this page will continue to be pared back, reflecting only what's in-tree, not general Rust docs.

r? @steveklabnik

Auto merge of #29862 - ranma42:const_min_max, r=alexcrichton

They can be useful for constructing constant items.

Remove `TyParen` from HIR

Minor tweaks to doc index

Auto merge of #29580 - alexbool:smart-pointer-conversion, r=alexcrichton

Sometimes when writing generic code you want to abstract over
owning/pointer type so that calling code isn't restricted by one
concrete owning/pointer type. This commit makes possible such code:
```rust
fn i_will_work_with_arc<T: Into<Arc<MyTy>>>(t: T) {
    let the_arc = t.into();
    // Do something
}

i_will_work_with_arc(MyTy::new());

i_will_work_with_arc(Box::new(MyTy::new()));

let arc_that_i_already_have = Arc::new(MyTy::new());
i_will_work_with_arc(arc_that_i_already_have);
```

Please note that this patch doesn't work with DSTs.
Also to mention, I made those impls stable, and I don't know whether they should be actually stable from the beginning. Please tell me if this should be feature-gated.

Do not generate comparefoo.gv and simpleeq.gv during testing

Correct comment in `Mutex` example

Auto merge of #29805 - norcalli:patch-1, r=steveklabnik

Fixes #29730

Nomicon: mention tuple structs with repr(c)

Fixes #29526

Make `min_value()` and `max_value()` const functions

Reaffirm that this is an abstraction

Fixes #29853
Fixes #29852

While these points are true, we're not going for 100% accuracy here,
this is introductory material. Changing these things would be more
confusing, but it is important to note that we're presenting an
abstraction here.

Auto merge of #29830 - petrochenkov:mapdoc, r=alexcrichton

r? @steveklabnik

Auto merge of #29851 - shahn:hashset_doc_fix, r=steveklabnik

insert() returns bool, but it was wrongly stated that if the set had the
key already present, that key would be returned (this was probably
copied from the HashMap docs). Also remove a reference to the
module-level documentation, which doesn't make sense as it doesn't give
any more context.

r? @steveklabnik

Fix feature name

Auto merge of #29845 - wthrowe:libdir, r=alexcrichton

This should get `--libdir` working as well as it was a couple of weeks ago.  (That is, it still rewrites paths incorrectly but it no longer fails during `make install`.)

Fixes gentoo/gentoo-rust#28 and gentoo/gentoo-rust#29.

Auto merge of #29828 - sanxiyn:check-macro, r=nrc

Fix #27409.

Fix docs for HashSet::insert

insert() returns bool, but it was wrongly stated that if the set had the
key already present, that key would be returned (this was probably
copied from the HashMap docs). Also remove a reference to the
module-level documentation, which doesn't make sense as it doesn't give
any more context.

Prepare to the correct directory with --libdir

This is to handle the case where CFG_LIBDIR is not a direct child of
CFG_PREFIX (in other words, where CFG_LIBDIR_RELATIVE has more than
one component).

Auto merge of #29788 - mitaa:module_name, r=arielb1

f357d55 caused a regression by retrieving item names from metadata, while previously using the last element of its absolute path (which in the case of a root module is the prefixed crate name since the stored path in metadata is empty)

fixes #28927

Auto merge of #29387 - little-dude:rustfmt_librustc_resolve, r=nrc

Another rustfmt PR.
I ran rustfmt, then split the changes in multiple commits. First commit are the non-problematic changed. The others are all the little weirdness that caught my attention and could be discussed.

Auto merge of #29836 - eefriedman:normalize-fn, r=arielb1

Fixes #23406.
Fixes #23958.
Fixes #29832.

CC @arielb1

Auto merge of #29209 - arielb1:exponential-evaluation, r=nmatsakis

This fixes an exponential worst-case and also provides an additional 1% perf improvement.

r? @nikomatsakis

address review comments

fix pretty

fix remaining bugs

add a global evaluation cache

introduce evaluate_obligation_conservatively and use it

evaluate projections outside the outer probe in recursive evaluation

put projections in RFC447 order

simplify and reduce the size of EvaluationResult

Auto merge of #29846 - JanLikar:#29823, r=steveklabnik

Fix #29823 by further explaining `&str` and pointing out the
difference between `&str` and `&'static str`.

Fix a typo

Improve Strings chapter

Update 'Strings' chapter of the book

Fix #29823 by further explaining `&str` and pointing out the
difference between `&str` and `&'static str`.

Auto merge of #29840 - gereeter:move-error-no-refcell, r=sanxiyn

AUTHORS and .mailmap cleanup

Stop using dynamic borrowing in MoveErrorCollector

Consistently normalize fn types after erasing lifetimes.

Fixes #23406.
Fixes #23958.
Fixes #29832.

rustfmt librustc_resolve

docs: Clarify insertion behavior for maps

Auto merge of #29827 - Manishearth:diag-fn-field, r=eddyb

Fixes #29043

Check macro definition and do not expand invalid macros

Reindent code

Store TokenTree in MacroRulesMacroExpander

Fix diagnostics for calling indirect extern function pointer field

Fixes #29043

Auto merge of #29819 - mdinger:block-comments, r=steveklabnik

These really aren't documented well at all. The fact that doc comments end on a `*/` is really weird. I'm not sure if this is a mistake or not though.

None of the block comments are even mentioned in the [book nightly](http://doc.rust-lang.org/nightly/book/comments.html). Probably should be fixed.

Auto merge of #29825 - KyleMayes:move-parse-panic, r=sanxiyn

Since these functions are only used by the AST quoting syntax extensions, they should be there instead of in the parser.

Auto merge of #29817 - michaelwoerister:mir-ty-closure-fields, r=nikomatsakis

Add a missing case in LvalueTy::projection_ty() that popped up earlier today.

cc @rust-lang/compiler @nikomatsakis

Auto merge of #29820 - wthrowe:makefile-fixes, r=brson

The first commit fixes the "jobserver unavailable" warning reported at gentoo/gentoo-rust#29.  I don't think the warning is related to the compilation failure shown there.

The remaining commits are minor fixes I noticed while investigating the jobserver warning.

Move the panicking parse functions out of the parser

Since these functions are only used by the AST quoting syntax extensions, they should be there instead of in the parser.

Auto merge of #29816 - nikomatsakis:incr-comp-visitor-refactor-hir-folder, r=nrc

Simplify HIR folder so that it only maps 1 item to 1 item, removing a bunch of asserts. This is a small refactoring on the way to my larger branch for moving items out of line in the tree and isolating attempts to access them.

r? @nrc

simplify HIR folder so that it only maps 1 item to 1 item,
removing a bunch of asserts

Auto merge of #29781 - arielb1:mir-casts, r=nikomatsakis

I am also planning to implement casts, but I will probably do it in a separate PR.

r? @nikomatsakis

Auto merge of #29808 - aphistic:trait-debug-example-fix, r=steveklabnik

The example given for the manual implementation of the core::fmt::Debug trait doesn't match the output after the code sample. This updates it so it matches.

address review comments

implement coercions in MIR

Document block doc comments better

rustc_mir: don't miss the autoref when doing an unsize

implement lvalue_len

no tests - sorry

represent fat ptr operands as 2 separate pointers

this does add some complexity, but to do otherwise would require unsized
lvalues to have their own allocas, which would be ugly.

MIR: implement fat raw pointer comparisons

The implementation itself only requires changes to trans, but
a few additional bugs concerning the handling of fat pointers
had to be fixed.

Auto merge of #29806 - tsion:compile-state-mir_map, r=nikomatsakis

This allows "rustc drop-in replacement" programs like https://github.com/nrc/stupid-stats to access the MIR map.

Working toy example: https://gist.github.com/tsion/288423389e32eb73bb39

r? @nikomatsakis

Remove extra eval call in snap.mk

Clean up some "suspicious" whitespace in target.mk

Emacs warns that makefile lines that start with spaces followed by
tabs are "suspicious".  These were harmless since they were
continuation lines, but getting rid of the warning is nice and this
version looks better.

Escape some variables in llvm.mk

The important one is $(MAKE).  make handles recipes containing the
literal string "$(MAKE)" specially, so it is important to make sure it
isn't evaluated until recipe invocation time.

Auto merge of #29759 - nagisa:mir-static, r=nikomatsakis

Fixes #29578

r? @nikomatsakis

My own observations are posted inline as comments.

MIR: Support closure up-vars in LvalueTy::projection_ty()

Auto merge of #29811 - bluss:binary-heap-sift-less, r=gankro

BinaryHeap: Simplify sift down

Sift down was doing all too much work: it can stop directly when the
current element obeys the heap property in relation to its children.

In the old code, sift down didn't compare the element to sift down at
all, so it was maximally sifted down and relied on the sift up call to
put it in the correct location.

This should speed up heapify and .pop().

Also rename Hole::removed() to Hole::element()

BinaryHeap: Simplify sift down

Sift down was doing all too much work: it can stop directly when the
current element obeys the heap property in relation to its children.

In the old code, sift down didn't compare the element to sift down at
all, so it was maximally sifted down and relied on the sift up call to
put it in the correct location.

This should speed up heapify and .pop().

Also rename Hole::removed() to Hole::element()

Auto merge of #29761 - eefriedman:rename-nopanic, r=sanxiyn

Just `sed s/_nopanic//g`.  Hopefully makes libsyntax a bit more
readable.

Auto merge of #29800 - Detegr:master, r=nikomatsakis

Fundamental attribute was missing a feature gate test.

Store a valid name for the root module in metadata

Auto merge of #29675 - bluss:merge-sort-fastpath, r=huonw

sort: Fast path for already sorted data

When merging two sorted blocks `left` and `right` if the last element in
`left` is <= the first in `right`, the blocks are already in sorted order.

Add this as an additional fast path by simply copying the whole left
block into the output and advancing the left pointer. The right block is
then treated the same way by the already present logic in the merge
loop.

Can reduce runtime of .sort() to less than 50% of the previous, if the data
was already perfectly sorted. Sorted data with a few swaps are also
sorted quicker than before. The overhead of one comparison per merge
seems to be negligible.

Auto merge of #29807 - nrc:op_span, r=brson

cc @nagisa

Fix the manual implementation example for the Debug trait so it matches the given output

Fix a bad span for binops

Auto merge of #29780 - KyleMayes:quote-ext, r=nrc

This is my first code contribution to Rust, so I'm sure there are some issues with the changes I've made.

I've added the `quote_arg!`, `quote_block!`, `quote_path!`, and `quote_meta_item!` quasiquoting macros. From my experience trying to build AST in compiler plugins, I would like to be able to build any AST piece with a quasiquoting macro (e.g., `quote_struct_field!` or `quote_variant!`) and then use those AST pieces in other quasiquoting macros, but this pull request just adds some of the low-hanging fruit.

I'm not sure if these additions are desirable, and I'm sure these macros can be implemented in an external crate if not.

Make the mir_map available to the after_analysis CompileController step.

Update references and borrowing (Fixes #29730)

Fixes #29730

Auto merge of #29712 - Toby-S:patch-1, r=steveklabnik

Adds `Example` sections to the rest of the integer methods.

cc @steveklabnik

Auto merge of #29757 - dotdash:mir_simplify_cfg, r=nikomatsakis

For now, this pass does some easy transformations, like eliminating
empty blocks that just jump to another block, some trivial
conversion of If terminators into Gotos and removal of dead blocks.

r? @nikomatsakis