Auto merge of #31747 - jseyfried:stop_resolve_after_fail, r=nrc

Now that #31461 is merged, a failing resolution can never become indeterminate or succeed, so we no longer have to keep trying to resolve failing import directives.
r? @nrc

Auto merge of #31474 - arielb1:mir-typeck, r=nikomatsakis

This should stop broken MIR from annoying us when we try to implement things

address review comments

Auto merge of #31674 - VladUreche:issue/21221, r=nikomatsakis

This commit adds functionality that allows the name resolution pass
to search for entities (traits/types/enums/structs) by name, in
order to show recommendations along with the errors.

For now, only E0405 and E0412 have suggestions attached, as per the
request in bug #21221, but it's likely other errors can also benefit
from the ability to generate suggestions.

Auto merge of #31620 - alexcrichton:fix-out-of-tree-builds, r=brson

This removes creating some extraneous directories and also fixes some submodule management with out of tree builds.

Closes #31619

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

- Successful merges: #31721, #31737, #31741, #31750, #31763, #31764, #31765, #31775
- Failed merges:

Auto merge of #31771 - alexcrichton:oops-that-didnt-fix-anything, r=brson

In #31717 we rebased our LLVM fork over the 3.8 release branch, and it was
thought that this fixed #31702. The testing, however, must have been erroneous,
as it unfortunately didn't fix the issue! Our MUSL nightly builders are failing
from the same assertion reported in the issue, so we at least know the test case
is a reproduction!

I believe the failure is only happening on the MUSL nightly builders because
none of the auto builders have LLVM assertions enabled, and the Linux nightly
builder *does* have assertions enabled for the binaries we generate but the
distcheck run doesn't test a compiler with LLVM assertions enabled.

Auto merge of #31781 - alexcrichton:wtf-segfault, r=aturon

It's unclear to me whether this test failing under valgrind is actually legit.
The test only fails in valgrind when everything is dynamically linked, and it
appears to work when statically linked.

For now just add the `// no-prefer-dynamic` directive and let's just chalk it up
to a weird valgrind issue.

Closes #31328

test: Fix a spuriously failing test on valgrind

It's unclear to me whether this test failing under valgrind is actually legit.
The test only fails in valgrind when everything is dynamically linked, and it
appears to work when statically linked.

For now just add the `// no-prefer-dynamic` directive and let's just chalk it up
to a weird valgrind issue.

Closes #31328

use the FulfillmentContext and InferCtxt more correctly

TODO -> FIXME

type-check lvalues

fix a few remaining bugs - make check runs!

store the normalized types of field accesses

Fixes #31504

deref the argument of overloaded MIR autoderef

Fixes #31466

make *mut T -> *const T a coercion

rather than being implicit quasi-subtyping. Nothing good can come out
of quasi-subtyping.

tuple arguments to overloaded calls

also fix translation of "rust-call" functions, although that could use
more optimizations

be more type-safe in panic/panic_bounds_check

TODO: find a correct borrow region

Fixes #31482

introduce an early pass to clear dead blocks

this makes the the MIR assignment pass complete successfully

add -Z mir-opt-level to disable MIR optimizations

setting -Z mir-opt-level=0 will disable all MIR optimizations
for easier debugging

Rollup merge of #31775 - nxnfufunezn:issue-31769, r=eddyb

Fixes : #31769
r? @eddyb

Rollup merge of #31765 - tshepang:shorten, r=steveklabnik

Rollup merge of #31764 - tshepang:overlong-sentence, r=steveklabnik

Rollup merge of #31763 - tshepang:extraneous-word, r=steveklabnik

Rollup merge of #31750 - GuillaumeGomez:mailmap, r=nikomatsakis

It's notably for #31707

Rollup merge of #31741 - alexcrichton:fix-ios, r=nikomatsakis

Similar to OSX, these symbols are prefixed by default.

Rollup merge of #31737 - dhuseby:netbsd_fixes, r=alexcrichton

this fixes a small compile error when building for netbsd.

Rollup merge of #31721 - rphmeier:err_tuplestruct_count, r=Manishearth

Fixes #31706

Also fixes a phrasing error in the diagnostic.

Fix error[E0518] not displayed for #[inline] on structs inside fns

begin implementing mir-typeck

Auto merge of #31742 - frewsxcv:needless-lifetimes, r=pnkfelix

These explicit lifetimes can be ommitted because of lifetime elision
rules. Instances were found using rust-clippy.

Auto merge of #31738 - seanmonstar:sys-rand, r=alexcrichton

Auto merge of #31736 - bluss:write-char, r=alexcrichton

fmt: Make sure write_fmt's implementation can use write_char

It looks like the Adapter inside write_fmt was never updated to forward
the write_char method.

Ignore the test added in #31717

In #31717 we rebased our LLVM fork over the 3.8 release branch, and it was
thought that this fixed #31702. The testing, however, must have been erroneous,
as it unfortunately didn't fix the issue! Our MUSL nightly builders are failing
from the same assertion reported in the issue, so we at least know the test case
is a reproduction!

I believe the failure is only happening on the MUSL nightly builders because
none of the auto builders have LLVM assertions enabled, and the Linux nightly
builder *does* have assertions enabled for the binaries we generate but the
distcheck run doesn't test a compiler with LLVM assertions enabled.

Auto merge of #31735 - aliclark:freebsd-link-defs, r=alexcrichton

The FreeBSD linker config is missing some options present in the other BSD configs.

This seems accidental, with other BSDs having the flags added in platform-specific commits, or with the flags present from day 1.

Some other BSD commits for reference:
https://github.com/aliclark/rust/commit/fcb30a0b67b1bd4acbc3422ff74fac5d031ae1ae#diff-db69d903e469b7769aefaa31786fc2c4R1
https://github.com/aliclark/rust/commit/0b7c4f57f6ba59dabe4db2808fe45e8bd8bbce22#diff-1c7b74536ce0291d1f89953035f26a71R1

https://github.com/aliclark/rust/commit/cfd2a5cfa148b1c927571cc2e9f06e242831b696

Auto merge of #31716 - jseyfried:fix_privacy_for_def_err, r=nrc

Fixes #31714

Improve dummy bindings for unresolved imports

Show candidates for names not in scope

This commit adds functionality that allows the name resolution pass
to search for entities (traits/types/enums/structs) by name, in
order to show recommendations along with the errors.

For now, only E0405 and E0412 have suggestions attached, as per the
request in bug #21221, but it's likely other errors can also benefit
from the ability to generate suggestions.

Auto merge of #31684 - tmiasko:alternate-stack, r=alexcrichton

Remove alternate stack with sigaltstack before unmaping it.

Also reuse existing signal stack if already set, this is especially
useful when working with sanitizers that configure alternate stack
themselves.

This change depends on SS_DISABLE recently introduced in libc crate and updates
this git submodule accordingly.

doc: make the sentence more simple

doc: reduce overlong sentence

Auto merge of #31600 - nagisa:mir-msvc-seh-2, r=nikomatsakis

r? @alexcrichton for the translator changes and @nikomatsakis for the no-landing-pads pass.

doc: remove a word that makes the sentence hard to read

Auto merge of #31734 - aliclark:bsd-stat-fixes, r=alexcrichton

In https://github.com/rust-lang/rust/issues/25155 the os::freebsd::raw stat was split for the x86 vs. x86-64 cases, which appears to have been done to implement the padding on the end of struct stat for the x86 case (the struct is otherwise the same notwistanding the size of long).

This PR de-duplicates the struct using #[cfg(target_arch = "x86")] for the __unused field, which also fixes the definitions which had sinced changed with the LFS work d088b671872f1df6993ccca6fa6139ebed0a8cf3.

Also changed definitions to c_long for dragonfly and freebsd where appropriate.

Also removes some unused imports that the compiler was complaining about.

dragonfly's long time_t:
https://gitweb.dragonflybsd.org/dragonfly.git/blob/a2a57c243ff8016578bc559f8603fb25bbcf1768:/lib/libstand/machine/stdint.h

freebsd's long time_t:
https://svnweb.freebsd.org/base/release/10.1.0/sys/x86/include/_types.h?view=markup
https://github.com/rust-lang/rust/blob/d088b671872f1df6993ccca6fa6139ebed0a8cf3/src/liblibc/lib.rs#L980

freebsd's padding for i686 stat:
https://svnweb.freebsd.org/base/release/10.1.0/sys/sys/stat.h?view=markup#l139
https://github.com/rust-lang/rust/blob/d088b671872f1df6993ccca6fa6139ebed0a8cf3/src/liblibc/lib.rs#L1038

Remove unnecessary explicit lifetime bounds.

These explicit lifetimes can be ommitted because of lifetime elision
rules. Instances were found using rust-clippy.

Auto merge of #31394 - nikomatsakis:incr-comp-variance, r=pnkfelix

Make the dep. graph edges created by variance just mirror the constraint graph.

Note that this extends <https://github.com/rust-lang/rust/pull/31304>, so the first few commits are on a different topic.

r? @pnkfelix

Add another email address corresponding to Guillaume Gomez account

Auto merge of #31728 - Amanieu:recoversafe_into_inner, r=alexcrichton

This allows a `FnOnce` to be wrapped in an `AssertRecoverSafe`.

Change how dep-graph edges are handled in variance to
be more fine-grained, fixing the `dep-graph-struct-signature`
test.

Fix a weird case in the HIR map, where fields are not present in the
map. Perhaps I ought to just add them instead, but this seems harmless
enough.

Break the `variance` module into submodules for ease of comprehension.

Auto merge of #31727 - semarie:openbsd-llvm-cpu, r=alexcrichton

The initial purpose is to workaround the LLVM bug
https://llvm.org/bugs/show_bug.cgi?id=26554 for OpenBSD.

By default, the `cpu` is defined to `generic`. But with a 64bit
processor, the optimization for `generic` will use invalid asm code as
NOP (the generated code for NOP isn't a NOP).

According to #20777, "x86-64" is the right thing to do for x86_64
builds.

Closes: #31363
r? @alexcrichton

Remove alternate stack with sigaltstack before unmapping it.

Also reuse existing signal stack if already set, this is especially
useful when working with sanitizers that configure alternate stack
themselves.

Auto merge of #31641 - petrochenkov:reach, r=alexcrichton

Fixes https://github.com/rust-lang/rust/issues/16734 and probably some other issues

This is a continuation of https://github.com/rust-lang/rust/pull/29822, but the algorithm is mostly a copy of https://github.com/rust-lang/rust/pull/29973, so
r? @alexcrichton or @nikomatsakis

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

- Successful merges: #31565, #31679, #31694, #31695, #31703, #31720, #31733
- Failed merges:

std: Prefix jemalloc symbols on iOS

Similar to OSX, these symbols are prefixed by default.

std: restructure rand os code into sys modules

Replace the field `imports` in Module with `unresolved_imports` and refactor away `resolved_import_count`

Stop trying to resolve an import directive after the resolution fails

Rollup merge of #31733 - gkoz:strip_prefix_docs, r=alexcrichton

It wasn't fixed after copy-pasting. This probably needs to be backported to beta.

Rollup merge of #31720 - frewsxcv:std-mem-transmute-copy-example, r=steveklabnik

Prior to this commit, it was a trivial example that did not demonstrate
the effects of using the function.

Fixes https://github.com/rust-lang/rust/issues/31094

Rollup merge of #31703 - WiSaGaN:bugfix/fix-link-in-release-notes, r=alexcrichton

Rollup merge of #31695 - oconnor663:chardocs, r=alexcrichton

Previously the docs suggested that '❤️' doesn't fit in a char because
it's 6 bytes. But that's misleading. 'a̚' also doesn't fit in a char,
even though it's only 3 bytes. The important thing is the number of code
points, not the number of bytes. Clarify the primitive char docs around
this.

Rollup merge of #31694 - oconnor663:insertdocs, r=steveklabnik

The first time I read the docs for `insert()`, I thought it was saying it didn't update existing *values*, and I was confused. Reword the docs to make it clear that `insert()` does update values.

Rollup merge of #31679 - GuillaumeGomez:long_error_explanation, r=Manishearth

r? @Manishearth

Rollup merge of #31565 - SDX2000:docfixes4, r=steveklabnik

See title and diff for more information.

Check reachability insead of publicity for fields and inherent impl items

Purely for consistency with other items, it doesn't make any semantic difference

Add more tests for unnameable reachable items

privacy: Mark reachable but unnameable items as reachable

fixes a small netbsd compile error

fmt: Make sure write_fmt's implementation can use write_char

It looks like the Adapter inside write_fmt was never updated to forward
the write_char method.

MSVC SEH in MIR is implemented here

Auto merge of #31707 - GuillaumeGomez:macro_name, r=sfackler

I'm wondering if instead of a second help message, a note would be better. I let it up to reviewers.

bring freebsd linker config up-to-date (same as dragonfly)

Update `Path::strip_prefix` doc

re-add freebsd padding

reproduces the padding found here:
https://svnweb.freebsd.org/base/release/10.1.0/sys/sys/stat.h?view=markup#l139

time_t is long on freebsd and dragonfly (and nsec should be long)

This becomes less relevant for dragonfly a i686 support is dropped since
release 40, but using long allows some compatibility for older versions.

Auto merge of #31718 - apasel422:issue-31711, r=bluss

This changes the performance of `drop` from linear to constant time for such `HashMap`s.

Closes #31711.

r? @bluss

Made v2 mutable so that we can actually truncate it.

unfork freebsd stat definitions, fixes x86

remove unused import from dragonfly os raw

Auto merge of #31696 - apasel422:placement, r=pnkfelix

CC #30172.

r? @pnkfelix
CC @nagisa

Add into_inner to AssertRecoverSafe

specify the cpu type for LLVM for OpenBSD target

The initial purpose is to workaround the LLVM bug
https://llvm.org/bugs/show_bug.cgi?id=26554 for OpenBSD.

By default, the `cpu' is defined to `generic`. But with a 64bit
processor, the optimization for `generic` will use invalid asm code as
NOP (the generated code for NOP isn't a NOP).

According to #20777, "x86-64" is the right thing to do for x86_64
builds.

Closes: #31363

Auto merge of #31666 - dirk:dirk/clarify-memory-arrangement-in-vec-docs, r=steveklabnik

Tweak documentation to clarify the structure of `Vec`s as contiguous arrays of items in memory.

Closes #31554; contributes to #29380.

r? @steveklabnik

Auto merge of #31685 - petrochenkov:patrefact2, r=eddyb

And split `PatKind::Enum` into `PatKind::TupleStruct` and `PatKind::Path`.
This is the HIR part of https://github.com/rust-lang/rust/pull/31581.
This is also kind of a preparation for https://github.com/rust-lang/rfcs/pull/1492.

r? @eddyb

Auto merge of #31717 - alexcrichton:llvmup2, r=brson

This commit rebases our LLVM submodule on the most recent tip of the
`release_38` branch of LLVM. There's been a few fixes and this notably fixes the
assertion error in #31702.

Closes #31702

Improve 'std::mem::transmute_copy' doc example.

Prior to this commit, it was a trivial example that did not demonstrate
the effects of using the function.

Fixes https://github.com/rust-lang/rust/issues/31094

Fix sentence in E0451 diagnostic.

Implement placement-in protocol for `LinkedList`

CC #30172.

Fix #31706

Avoid iteration when dropping `HashMap`s whose items don't need dropping

This changes the performance of `drop` from linear to constant time for
such `HashMap`s.

Closes #31711.

rustc: Rebase LLVM on the 3.8 release branch

This commit rebases our LLVM submodule on the most recent tip of the
`release_38` branch of LLVM. There's been a few fixes and this notably fixes the
assertion error in #31702.

Auto merge of #31680 - arielb1:fast-fulfill, r=nikomatsakis

this improves typeck performance by 5% (LLVM times are still huge).

Basically fixes #25916 (still O(n^2), but the example takes <1s to
compile).

r? @nikomatsakis

Don't compute LastPrivate data for Def::Err.

Add check on find_best_match_for_name and improve help message for undefined macro

Auto merge of #31534 - jseyfried:restrict_noninline_mod, r=nikomatsakis

This PR disallows non-inline modules without path annotations that are either in a block or in an inline module whose containing file is not a directory owner (fixes #29765).
This is a [breaking-change].
r? @nikomatsakis

Auto merge of #30714 - wesleywiser:fix_29914, r=arielb1

The issue was that the const evaluator was returning an error because
the feature flag const_indexing wasn't turned on. The error was then
reported as a bug.

Fixes #29914

Auto merge of #31678 - JohanLorenzo:follow-up-31368, r=alexcrichton

Thanks for catching this @tamird. Here's a quick fix. I didn't pick "let the linker link dead code" or "link dead code" because it would add no extra information to the flag name. Here's a another proposal.

r? @alexcrichton

Auto merge of #31675 - pitdicker:fs_metadata, r=alexcrichton

Because we no longer use `GetFileAttributesExW` FileAttr is never created directly from `WIN32_FILE_ATTRIBUTE_DATA` anymore. So we should no longer store FileAttr's attributes in that c struct.

r? @alexcrichton
Is this what you had in mind?