84370 Commits

Author SHA1 Message Date
Jorge Aparicio
dd65d732ed the test requires unwinding so we don't run it on the wasm32-bare target 2018-09-30 17:27:06 +02:00
Jorge Aparicio
0703af2a77 add codegen test 2018-09-30 17:27:06 +02:00
Jorge Aparicio
a5dfbdba7a make the nil-enum test work again 2018-09-30 17:27:06 +02:00
Jorge Aparicio
fba4e291ce adapt to change in Session API 2018-09-30 17:27:06 +02:00
Jorge Aparicio
cef3aa0261 allow dead_code 2018-09-30 17:27:06 +02:00
Jorge Aparicio
0bf40d86d8 add empty enum to the test cases 2018-09-30 17:27:06 +02:00
Jorge Aparicio
22cde0efa5 improve the run-pass test 2018-09-30 17:27:06 +02:00
Jorge Aparicio
00ba5cb00b move our check to reuse a previous computation 2018-09-30 17:27:06 +02:00
Jorge Aparicio
7294fcdc41 improve panic message 2018-09-30 17:27:06 +02:00
Jorge Aparicio
bd3c7812cb use is_uninhabited in more places 2018-09-30 17:27:06 +02:00
Jorge Aparicio
f9bbb5f31d panic when instantiating an uninhabited type via mem::{uninitialized,zeroed} 2018-09-30 17:26:15 +02:00
bors
390540909e Auto merge of #54622 - matthewjasper:more-nll-mode, r=pnkfelix
Enable NLL compare mode for more tests

Most of these tests were disabled due to NLL bugs that have since been fixed. A few needed updating for NLL.

r? @nikomatsakis
2018-09-30 14:38:47 +00:00
csmoe
cae164c02c add test for fake self 2018-09-30 20:49:22 +08:00
Ralf Jung
1b22befd36 make run-pass tests with empty main just compile-pass tests 2018-09-30 14:32:10 +02:00
bors
1886d5fe1c Auto merge of #54596 - mjbshaw:drop, r=RalfJung
Make core::mem::needs_drop a const fn

This fixes #51929.
2018-09-30 12:00:45 +00:00
Ralf Jung
d62aa3e085 move ScalarMaybeUndef into the miri engine 2018-09-30 13:09:26 +02:00
Ralf Jung
392ea7ad53 do not normalize non-scalar constants to a ConstValue::ScalarPair 2018-09-30 12:37:00 +02:00
bors
a677e4c347 Auto merge of #53816 - zackmdavis:elided_lifetimes_in_paths_field_day, r=nikomatsakis
don't elide lifetimes in paths in librustc/

In light of the "Apply to rustc" checkbox on #44524 and @nikomatsakis's [recent comment about regularly wanting visual indication of elided lifetimes in types](https://github.com/rust-lang/rust/issues/44524#issuecomment-414663773), I was curious to see what it would look like if we turned the `elided_lifetimes_in_path` lint on in at least one crate in the codebase (I chose librustc). Given that I couldn't figure out how to get `cargo fix` work with the build system, this arguably wasn't a very efficient use of my time, but once I started, the conjunction of moral law and the sunk cost fallacy forced me to continue.

This is mostly applying the `<'_>` suggestions issued by the lint, but there were a few places where I named the lifetimes (_e.g._, `<'a, 'gcx, 'tcx>` on `TyCtxt`) in order to match style with surrounding code.

r? @nikomatsakis
2018-09-30 09:22:31 +00:00
bors
8c1d5e5b71 Auto merge of #54639 - nagisa:lets-alias-for-now, r=eddyb
Do not put noalias annotations by default

This will be re-enabled sooner or later depending on results of further
investigation.

Fixes #54462

Beta backport is: #54640

r? @nikomatsakis
2018-09-30 06:44:13 +00:00
Scott McMurray
d4840da779 Activate the feature in the libcore tests too 2018-09-29 23:29:58 -07:00
Scott McMurray
8d6bee3442 UI test updates 2018-09-29 22:05:07 -07:00
Zack M. Davis
5b22d9b2ca don't elide lifetimes in paths in librustc/
This seemed like a good way to kick the tires on the
elided-lifetimes-in-paths lint (#52069)—seems to work! This was also
pretty tedious—it sure would be nice if `cargo fix` worked on this
codebase (#53896)!
2018-09-29 21:48:29 -07:00
Scott McMurray
0a3bd9b6ab Use impl_header_lifetime_elision in libcore 2018-09-29 21:33:35 -07:00
Michael Bradshaw
43cc32fbb2 Merge branch 'master' into drop 2018-09-29 19:51:09 -07:00
Michael Bradshaw
aec5330082 Fix ui/run-pass/union/union-nodrop.rs test 2018-09-29 19:49:17 -07:00
bors
6310be458f Auto merge of #54601 - cuviper:prep-1.31, r=Mark-Simulacrum
Bump to 1.31.0 and bootstrap from 1.30 beta

Closes #54594.
2018-09-30 01:45:50 +00:00
Niek Sanders
af9eb4fc21 Correct doc for WorkQueue<T>::pop(). 2018-09-30 00:24:37 +02:00
bors
e0a1ab6374 Auto merge of #54591 - ljedrz:cleanup_typeck_rest, r=zackmdavis
A few cleanups and minor improvements to typeck

This PR complements https://github.com/rust-lang/rust/pull/54533, which was limited to `check`.

- change a few `push` loops to `extend`s
- prefer `to_owned` to `to_string` for string literals
- prefer `if let` to `match` where only one branch matters
- a few other minor improvements
- whitespace fixes
2018-09-29 22:20:01 +00:00
Alex Crichton
b3157601b1 Rename sanitizer runtime libraries on OSX
Currently we ship sanitizer libraries as they're built, but these names
unfortunately conflict with the names of the sanitizer libraries
installed on the system. If a crate, for example, links in C code that
wants to use the system sanitizer and the Rust code doesn't use
sanitizers at all, then using `cargo` may accidentally pull in the
Rust-installed sanitizer library due to a conflict in names.

This change is intended to be entirely transparent for Rust users of
sanitizers, it should only hopefully improve our story with other users!

Closes #54134
2018-09-29 14:29:05 -07:00
Philipp Hansch
d654e3c69b
Improve bug! message for impossible case in Relate
Hitting this branch in Clippy and I think it makes sense to print
both values here in case other people hit this branch, too.
2018-09-29 21:59:21 +02:00
bors
bb0896af11 Auto merge of #54240 - csmoe:nonzero_from, r=alexcrichton
Impl From<NonZero<T>> for T

Closes https://github.com/rust-lang/rust/issues/54171

r? @SimonSapin
2018-09-29 19:38:12 +00:00
Donato Sciarra
0390736dce Improve ux when calling associated functions with dot notation
Issue: 22692
2018-09-29 21:36:58 +02:00
Alex Crichton
6f4b378e84 rust: Add a -C default-linker-libraries option
This commit adds a new codegen option for the compiler which disables
rustc's passing of `-nodefaultlibs` by default on relevant platforms.
Sometimes Rust is linked with C code which fails to link with
`-nodefaultlibs` and is unnecessarily onerous to get linking correctly
with `-nodefaultlibs`.

An example of this is that when you compile C code with sanitizers and
then pass `-fsanitize=address` to the linker, it's incompatible with
`-nodefaultlibs` also being passed to the linker.

In these situations it's easiest to turn off Rust's default passing of
`-nodefaultlibs`, which was more ideological to start with than
anything! Preserving the default is somewhat important but having this
be opt-in shouldn't cause any breakage.

Closes #54237
2018-09-29 11:03:59 -07:00
Ralf Jung
54b303ace4 update miri 2018-09-29 19:43:15 +02:00
Keith Yeung
8380b25d13 Add UI test for preserving user types in type ascriptions 2018-09-29 10:34:36 -07:00
Niko Matsakis
4a293a3990 avoid infinite loop in MIR lowering 2018-09-29 10:34:35 -07:00
Keith Yeung
fba9d14779 Lower type ascriptions to HAIR and MIR 2018-09-29 10:34:30 -07:00
bors
eb50e75729 Auto merge of #54599 - nikomatsakis:issue-54593-impl-Trait, r=eddyb
use closure def-id in returns, but base def-id in locals

The refactorings to  handle `let x: impl Trait`  wound up breaking `impl Trait` in closure return types. I think there are some deeper problems with the code in question, but this a least should make @eddyb's example work.

Fixes #54593

r? @eddyb
2018-09-29 15:07:59 +00:00
ljedrz
52da88639e rustc/infer: miscellaneous minor code improvements 2018-09-29 14:57:42 +02:00
ljedrz
70eeb05441 rustc/infer: readability improvements 2018-09-29 14:57:42 +02:00
ljedrz
999d76812c rustc/infer: improve vector allocations 2018-09-29 14:57:41 +02:00
ljedrz
0e84647e18 rustc/infer: use to_owned instead of to_string with string literals 2018-09-29 14:57:40 +02:00
ljedrz
9fd6fad320 rustc/infer: convert single-branch matches to if-let 2018-09-29 14:57:39 +02:00
ljedrz
89cb411943 rustc/infer: use unwrap_or(_else) where applicable 2018-09-29 14:57:35 +02:00
bors
9653f79033 Auto merge of #54660 - kennytm:rollup, r=kennytm
Rollup of 8 pull requests

Successful merges:

 - #54564 (Add 1.29.1 release notes)
 - #54567 (Include path in stamp hash for debuginfo tests)
 - #54577 (rustdoc: give proc-macros their own pages)
 - #54590 (std: Don't let `rust_panic` get inlined)
 - #54598 (Remove useless lifetimes from `Pin` `impl`s.)
 - #54604 (Added help message for `self_in_typedefs` feature gate)
 - #54635 (Improve docs for std::io::Seek)
 - #54645 (Compute Android gdb version in compiletest)
2018-09-29 12:35:39 +00:00
Simonas Kazlauskas
9c62193fec Do not put noalias annotations by default
This will be re-enabled sooner or later depending on results of further
investigation.

Fixes #54462
2018-09-29 13:00:41 +03:00
bors
7e7bc060c1 Auto merge of #54554 - RalfJung:maybe-uninit, r=nagisa
Revert most of MaybeUninit, except for the new API itself

This reverts most of https://github.com/rust-lang/rust/pull/53508/ for perf reasons (first commit reverts that entire PR), except for the new API itself (added back in 2nd commit).
2018-09-29 09:58:09 +00:00
ljedrz
608c395818 A few cleanups and minor improvements to typeck 2018-09-29 11:13:00 +02:00
kennytm
def5f84fa6
Rollup merge of #54577 - QuietMisdreavus:docs-for-procs, r=GuillaumeGomez
rustdoc: give proc-macros their own pages

related to https://github.com/rust-lang/rust/issues/49553 but i don't think it'll fix it

Currently, rustdoc doesn't expose proc-macros all that well. In the source crate, only their definition function is exposed, but when re-exported, they're treated as a macro! This is an awkward situation in all accounts. This PR checks functions to see whether they have any of `#[proc_macro]`, `#[proc_macro_attribute]`, or `#[proc_macro_derive]`, and exposes them as macros instead. In addition, attributes and derives are exposed differently than other macros, getting their own item-type, CSS class, and module heading.

![image](https://user-images.githubusercontent.com/5217170/46044803-6df8da00-c0e1-11e8-8c3b-25d2c3beb55c.png)

Function-like proc-macros are lumped in with `macro_rules!` macros, but they get a different declaration block (i'm open to tweaking this, it's just what i thought of given how function-proc-macros operate):

![image](https://user-images.githubusercontent.com/5217170/46044828-84069a80-c0e1-11e8-9cc4-127e5477c395.png)

Proc-macro attributes and derives get their own pages, with a representative declaration block. Derive macros also show off their helper attributes:

![image](https://user-images.githubusercontent.com/5217170/46094583-ef9f4500-c17f-11e8-8f71-fa0a7895c9f6.png)

![image](https://user-images.githubusercontent.com/5217170/46101529-cab3cd80-c191-11e8-857a-946897750da1.png)

There's one wrinkle which this PR doesn't address, which is why i didn't mark this as fixing the linked issue. Currently, proc-macros don't expose their attributes or source span across crates, so while rustdoc knows they exist, that's about all the information it gets. This leads to an "inlined" macro that has absolutely no docs on it, and no `[src]` link to show you where it was declared.

The way i got around it was to keep proc-macro re-export disabled, since we do get enough information across crates to properly link to the source page:

![image](https://user-images.githubusercontent.com/5217170/46045074-2cb4fa00-c0e2-11e8-81bc-33a8205fbd03.png)

Until we can get a proc-macro's docs (and ideally also its source span) across crates, i believe this is the best way forward.
2018-09-29 16:46:30 +08:00
kennytm
3861591946
Rollup merge of #54645 - tromey:android-gdb-version, r=alexcrichton
Compute Android gdb version in compiletest

compiletest has special code for running gdb for Android targets.  In
particular it computes a different path to gdb.  However, this gdb is
not used for the version test, which results in some tests being run
when they should not be.  You can see this in #54004.

This patch moves the special case to analyze_gdb and a new helper
function to decide whether the case applies.  This causes the version
check to work properly.

Note that the bulk of the runtest.rs change is just reindentation
caused by moving from a "match" to an "if" -- but there is a (small)
change buried in there.
2018-09-29 16:43:43 +08:00