Mir: fixup nits in previous commit (f536143)

As suggested by arielb1.

Closes rust-lang/rust#18510

Signed-off-by: David Henningsson <diwic@ubuntu.com>

Mir: Abort on nounwind ABIs

Generate Abort instead of Resume terminators on nounwind ABIs.

https://github.com/rust-lang/rust/issues/18510

Signed-off-by: David Henningsson <diwic@ubuntu.com>

Mir: Add Terminatorkind::Abort

The Abort Terminatorkind will cause an llvm.trap function call to be
emitted.

Signed-off-by: David Henningsson <diwic@ubuntu.com>

Auto merge of #46862 - nikomatsakis:nll-master, r=arielb1

NLL feature complete (adds `feature(nll)`)!

This is the final PR for the nll-master branch; it brings over all remaining content.

The contents of the branch include:

- track causal information and use it to report extended errors
- handle `impl Trait` in NLL code
- improve printing of outlives errors
- add `#![feature(nll)]` and some more sample tests

The commits should for the most part build independently.

r? @pnkfelix (and/or @arielb1)

fix truncated comment

improve comment about instantiating anon types

convert region-liveness-drop{-,-no-}may-dangle.rs into ui tests

The "match exact bits of CFG" approach was fragile and uninformative.

add some run-pass tests for NLL showing that things work as expected

when using feature(nll), don't warn about AST-based region errors

Also, keep reporting AST-based region errors that are not occuring in
a fn body.

document and tweak the nll, use_mir, etc helpers

In particular, -Znll might as well imply -Zborrowck=mir by default,
just like `#![feature(nll)]` does.

Also, if NLL is in use, no reason to emit end regions. The NLL pass
just strips them out anyway.

feature nll implies borrowck=mir

feature nll implies two-phase-borrows

Add nll feature and make nll imply nll_dump_cause

Add nll_dump_cause helper to Session

use `report_generic_bound_failure` when we can in the compiler

refactor `report_generic_bound_failure` to be usable by NLL code

connect NLL machinery to the `NiceRegionError` code

give precedence to `try_report_named_anon_conflict` method

use `Option<ErrorReported>` instead of `bool`

Also allows us to replace `or_false` with `?`.

No functional change

introduce a `NiceRegionError` type and define methods on that

This is more convenient, and allows us to be more independent from
infcx, particularly with respect to `in_progress_tables` field.

No functional change.

nice_region_error: rustfmt

extract `find_anon_type` into its own module

make `util` fns private to nice_region_error

move nice-region-error reporting into its own module

only dump causes if we have nothing better

Add three point error handling to borrowck

Closes #45988

Move categorize logic out of visit_local function

Move MirVisitable to visit.rs

connect NLL type checker to the impl trait code

We now add the suitable `impl Trait` constraints.

extract `input_output` code into its own module

No functional change.

pass `UniversalRegions` to MIR type-checker instead of fields

No functional change.

extract the writeback code for anon types into InferCtxt

No functional change.

extract `constrain_anon_types` to the `InferCtxt`

No funtional change.

extract `instantiate_anon_types` to the `InferCtxt`

No functional change.

propagate `region_bound_pairs` into MIR type-check

get the `DefiningTy` from the `body_owner_kind` not type

The type isn't a good idea because we want to treat constants
uniformly, regardless of what type of value they produce.

integrate -Znll-dump-cause into borrowck

use Rc to store nonlexical_regioncx in Borrows

dump out causal information for "free region" errors

The result is not especially illuminating, but that's ok.

rustfmt: borrow_check/mod.rs

Add tracking of causes for nll

region_infer/values.rs: rustfmt

simplify `AnonTypeDecl` in the impl trait code

We don't need to know the vector of region bounds; we only care if
there were any region bounds at all.

Auto merge of #46583 - scottmcm:fix-static-i128-lower, r=eddyb

Fix -Z lower_128bit_ops handling of statics

Avoids ICEs such as the following:
>  error: internal compiler error: src\librustc_metadata\cstore_impl.rs:131:
>  get_optimized_mir: missing MIR for `DefId(8/0:40 ~
>  compiler_builtins[9532]::int[0]::addsub[0]::rust_i128_addo[0])`

r? @nagisa

cc #45676 @est31

Auto merge of #46874 - kennytm:rollup, r=kennytm

Rollup of 14 pull requests

- Successful merges: #46359, #46517, #46671, #46751, #46760, #46787, #46794, #46828, #46831, #46835, #46851, #46852, #46856, #46870
- Failed merges:

Rollup merge of #46870 - ffflorian:fix/slice/typo, r=rkruppe

docs(slice): Clarification in binary_search_by

This PR ~fixes a small comment typo~ adds some clarification to a half-open interval in the `binary_search_by` function in `slice`.

Rollup merge of #46856 - estebank:missing-in-impl-def-span, r=arielb1

Point at def span in "missing in impl" error

Rollup merge of #46852 - scottmcm:asm-placecontext, r=arielb1

Split PlaceContext::Store into Store & AsmOutput

Outputs in InlineAsm can be read-write, so splitting it out is useful for things like Store-Store folding, as that's unsound for a Store-AsmOutput.

This PR is intended to make no changes, just be the mechanical split of the enum.  Future changes can use the split, like a MIR pass I'm working on and perhaps two-phase borrows (see this FIXME: https://github.com/rust-lang/rust/pull/46852/files#diff-74dcd7740ab2104cd2b9a3b68dd4f208R543)

Rollup merge of #46851 - petrochenkov:tospace, r=estebank

Fix whitespacing issues in pretty-printing of bounds

cc https://github.com/rust-lang/rust/pull/46827#discussion_r157603277

Rollup merge of #46835 - topecongiro:bad-span-for-macro-invocation-in-type, r=petrochenkov

Remove a token after closing delimiter from the span of macro in type position

e.g.
```rust
let x = y: foo!();
```
The span for `foo!()` includes `;`.

cc https://github.com/rust-lang-nursery/rustfmt/issues/2290.

Rollup merge of #46831 - Diggsey:float-debug-fmt, r=dtolnay

Always `Debug` floats with a decimal point

Fixes #30967

r? @dtolnay

Rollup merge of #46828 - vi:hash_for_systemtime_instant, r=dtolnay

Add Hash impl for SystemTime and Instant

Closes #46670.

Not sure how to actually test non-Linux platforms.
`rustc --target=i686-pc-windows-gnu --crate-name std --crate-type rlib src/libstd/lib.rs -o q.rlib` works a bit, but for Redox I'm not sure what to do.

r? @dtolnay

Rollup merge of #46794 - Sh4rK:distribute-intrinsic-natvis, r=estebank

Distribute intrinsic.natvis with the compiler for windows-msvc.

This adds `intrinsic.natvis` to the `windows-msvc` distributions of Rust, enabling the visualization of `str` and slices in the VS debugger. Two other natvis files are already included, this was probably just an oversight.

I also updated `rust-windbg.cmd` to load this file as well.

Rollup merge of #46787 - varkor:contrib-6, r=QuietMisdreavus

Add an option to allow rustdoc to list modules by appearance

The `--sort-modules-by-appearance` option will list modules in the
order that they appear in the source, rather than sorting them
alphabetically (as is the default). This resolves #8552.

Rollup merge of #46760 - semarie:openbsd-arm64, r=alexcrichton

add aarch64-unknown-openbsd support

- make liblibc to point to libc with aarch64-unknown-openbsd
- make c_char (in std::os::raw) to point to right value

r? @alexcrichton

currently, I have only tested in crosscompilation environement (openbsd x64_64 -> openbsd aarch64). it produces valid binaries.

Rollup merge of #46751 - michaelwoerister:c-incremental, r=alexcrichton

incr.comp.: Add `-C incremental` in addition to `-Z incremental`

This PR adds a stable commandline option for invoking incremental compilation.

r? @alexcrichton

Rollup merge of #46671 - varkor:contrib-2, r=KodrAus

Reject superfluous `::` in IPv6 addresses

Fixes #46263.

Rollup merge of #46517 - notriddle:patch-2, r=BurntSushi

Stablize RefCell::{replace, swap}

RefCell::replace_with is not stablized in this PR, since it wasn't part of the RFC.

CC #43570

Rollup merge of #46359 - GuillaumeGomez:remove-dead-linkage, r=QuietMisdreavus

Do not display hidden types, fixes issue 23912

Fixes #23912.

r? @QuietMisdreavus

(It's the one I was talking about a few days ago, just close it if it's useless.)

Auto merge of #46457 - m4b:no_mangle_static, r=michaelwoerister

Don't set the linkage_name for static variables

For `no_mangle` statics:

1. Linkage_name no longer set
2. The static variable also no longer has a dwarf namespace scope

This matches C++ output, which does not set the linkage_name and is not scoped:

e.g. c++:

```
0x000000b6:   DW_TAG_base_type [8]
                DW_AT_name [DW_FORM_strp]       ( .debug_str[0x00000077] = "long int")
                DW_AT_encoding [DW_FORM_data1]  (DW_ATE_signed)
                DW_AT_byte_size [DW_FORM_data1] (0x08)

0x000000bd:   DW_TAG_variable [9]
                DW_AT_name [DW_FORM_strp]       ( .debug_str[0x00000053] = "TEST")
                DW_AT_type [DW_FORM_ref4]       (cu + 0x0048 => {0x00000048})
                DW_AT_external [DW_FORM_flag_present]   (true)
                DW_AT_decl_file [DW_FORM_data1] ("/home/m4b/tmp/bad_debug/test.cpp")
                DW_AT_decl_line [DW_FORM_data1] (14)
                DW_AT_location [DW_FORM_exprloc]        (<0x9> 03 40 10 20 00 00 00 00 00 )

0x000000d2:   DW_TAG_namespace [2] *
                DW_AT_name [DW_FORM_strp]       ( .debug_str[0x0000009d] = "std")

```

and (now) Rust:

```
0x0000002a:   DW_TAG_variable [2]
                DW_AT_name [DW_FORM_strp]       ( .debug_str[0x00000046] = "TEST")
                DW_AT_type [DW_FORM_ref4]       (cu + 0x0045 => {0x00000045})
                DW_AT_external [DW_FORM_flag_present]   (true)
                DW_AT_decl_file [DW_FORM_data1] ("/tmp/test.rs")
                DW_AT_decl_line [DW_FORM_data1] (8)
                DW_AT_alignment [DW_FORM_udata] (1)
                DW_AT_location [DW_FORM_exprloc]        (<0x9> 03 c0 4d 06 00 00 00 00 00 )

0x00000040:   DW_TAG_namespace [3] *
                DW_AT_name [DW_FORM_strp]       ( .debug_str[0x0000004b] = "test")
```

docs(slice): Clarify half-open interval

Auto merge of #46508 - clarcharr:duration_extras, r=sfackler

Add more Duration methods for consistency.

Follow-up to #46507.

Auto merge of #46233 - SimonSapin:fmt-debuglist-flags, r=sfackler

Make fmt::DebugList and friends forward formatting parameters

For example, formatting slice of integers with `{:04?}` should zero-pad each integer.

This also affects every use of `#[derive(Debug)]`.

dwarf: do not set linkage_name for no mangle statics, and do not have a scope. ref #33172

Auto merge of #46733 - nikomatsakis:nll-master-to-rust-master-5, r=arielb1

nll part 5

Next round of changes from the nll-master branch.

Extensions:

- we now propagate ty-region-outlives constraints out of closures and into their creator when necessary
- we fix a few ICEs that can occur by doing liveness analysis (and the resulting normalization) during type-checking
- we handle the implicit region bound that assumes that each type `T` outlives the fn body
- we handle normalization of inputs/outputs in fn signatures

Not included in this PR (will come next):

- handling `impl Trait`
- tracking causal information
- extended errors

r? @arielb1

Auto merge of #46441 - gaurikholkar:single_lifetimes, r=nikomatsakis

 Lint against single-use lifetime names

This is a fix for #44752

TO-DO

- [x] change lint message
- [x] add ui tests

r? @nikomatsakis

Point at def span in "missing in impl" error

Split PlaceContext::Store into Store & AsmOutput

Outputs in InlineAsm can be read-write, so splitting it out is useful for things like Store-Store folding, as it cannot be done for a Store-AsmOutput.

This PR is intended to make no changes, just be the mechanical split of the enum.  Future changes can use the split, like a MIR pass I'm working on and perhaps two-phase borrows.

Fix whitespacing issues in pretty-printing of bounds

Fix -Z lower_128bit_ops handling of statics

Avoids ICEs such as the following:
 error: internal compiler error: src\librustc_metadata\cstore_impl.rs:131:
 get_optimized_mir: missing MIR for `DefId(8/0:40 ~
 compiler_builtins[9532]::int[0]::addsub[0]::rust_i128_addo[0])`

adding lint for single use lifetime names

Fix up an ui test

Remove a token after closing delimiter from the span of macro in type position

Auto merge of #46749 - SimonSapin:exorcism, r=nikomatsakis

Move PhantomData<T> from Shared<T> to users of both Shared and #[may_dangle]

After discussing https://github.com/rust-lang/rust/issues/27730#issuecomment-316432083 today with @pnkfelix and @Gankro, we concluded that it’s ok for drop checking not to be much smarter than the current `#[may_dangle]` design which requires an explicit unsafe opt-in.

be specific about what kind of normalization we mean

remove dead `is_foo_free_region` helpers

Only `is_local_free_region` is used.

fix comment on `check_type_tests`

tweak comment on `TypeTest` to be more accurate

Auto merge of #46664 - mikeyhew:raw_pointer_self, r=arielb1

arbitrary_self_types: add support for raw pointer `self` types

This adds support for raw pointer `self` types, under the `arbitrary_self_types` feature flag. Types like `self: *const Self`, `self: *const Rc<Self>`, `self: Rc<*const Self` are all supported. Object safety checks are updated to allow`self: *const Self` and `self: *mut Self`.

This PR does not add support for `*const self` and `*mut self` syntax. That can be added in a later PR once this code is reviewed and merged.

#44874

r? @arielb1

Auto merge of #46829 - GuillaumeGomez:rollup, r=GuillaumeGomez

Rollup of 11 pull requests

- Successful merges: #46700, #46786, #46790, #46800, #46801, #46802, #46804, #46805, #46812, #46824, #46825
- Failed merges:

Always print floats with a decimal point with the Debug formatter

Auto merge of #45525 - MaikKlein:collector, r=eddyb

Move collector to librustc_mir::monomorphize

cc https://github.com/rust-lang/rust/issues/44334 and https://github.com/rust-lang/rust/issues/45276

* I moved the collector to rustc_mir

*  I renamed `TransItem` to `MonoItem`. _(I still need to fix up comments and variable names)_

* I got rid of `common.rs` and `monomorphize.rs` from `librustc_trans_utils`. I moved most of the functionality into `TyCtxt`. I realized that the `librustc_trans_utils::common.rs` was just copy pasted from `librustc_trans::common.rs`.

Should I also get rid of the `librustc_trans::common.rs` in this PR? Most of the functionality seems a bit useless, I decided to put some of it into `TyCtxt` but maybe that is not the correct action here.

Should I also get rid of `librustc_trans_utils` completely here? Or should I do it in a separate PR?

Add a test for `--sort-modules-by-appearance`

Rollup merge of #46825 - GuillaumeGomez:mobile-search, r=QuietMisdreavus

Improve search display on mobile

r? @QuietMisdreavus

Rollup merge of #46824 - GuillaumeGomez:doc-sidebar, r=QuietMisdreavus

Fix dynamic crates listing in doc sidebar

Fixes #46687.

r? @QuietMisdreavus

Rollup merge of #46812 - kennytm:fix-align-offset-sign, r=petrochenkov

Fix the wrong subtraction in align_offset intrinsic.

Given how the stage0 implementation in #43903 is written, as well as that in the RFC, I suppose the current implementation has a typo.

cc #44488, cc @oli-obk.

Rollup merge of #46805 - estebank:unnecessary-unsafe-spans, r=arielb1

Tweak "unecessary unsafe block" error spans

Rollup merge of #46804 - estebank:conflicting-impl-def-span, r=arielb1

Use def span for conflicting impls and recursive fn

Rollup merge of #46802 - estebank:redefined-def-span, r=michaelwoerister

Point at def span on redefined name diagnostic

Rollup merge of #46801 - estebank:impl-extra-req-def-span, r=arielb1

Point at def span in "impl has stricter requirements" diagnostic

Rollup merge of #46800 - estebank:expected-closure-def-span, r=arielb1

Rework expected closure error

* point at def span
* add label to primary span
* use `span_label`s instead of `span_note`s

Rollup merge of #46790 - frewsxcv:frewsxcv-swap-bytes, r=QuietMisdreavus

Display binary notation for numeric swap_bytes methods.

This better illustrates what's happening to the bits behind the scenes.

Rollup merge of #46786 - GuillaumeGomez:fix-sized-rendering, r=QuietMisdreavus

Fix ?Sized where bound not being displayed at the correct place

Fixes #46726.

r? @QuietMisdreavus

Rollup merge of #46700 - GuillaumeGomez:more-relevant-doc-search, r=QuietMisdreavus

make doc search more relevant

Fixes #46595.

r? @QuietMisdreavus

If possible, I'd appreciate a strong check on this PR. :3

Add tests for hidden types

Add Hash impl for SystemTime and Instant

Closes #46670.

Improve search display on mobile

Auto merge of #46808 - eddyb:issue-46769-quick, r=arielb1

rustc: ensure optimized enums have a properly aligned size.

Fixes #46769 by padding the optimized enums wrapping packed data as necessary.

Note that this is not the only way to solve this - on nightly, #46436 makes it easier to fix without adding new padding because of the replacement of `packed` flags with a non-redundant scheme.
But because it can't be backported, the optimal fix will be in a separate nightly-only PR (#46809).

Fix dynamic crates listing in doc sidebar

Fix tidy issue