Commit Graph

90192 Commits

Author SHA1 Message Date
kennytm
84e88da431
Rollup merge of #57981 - Zoxc:fix-57979, r=nikomatsakis
Fix #57730

cc https://github.com/rust-lang/rust/pull/57730

r? @cramertj
2019-02-16 14:11:20 +08:00
varkor
18ce997e51 Fix rebase issue 2019-02-15 23:34:04 +00:00
varkor
9cfdb80085 Update tests
Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
2019-02-15 22:29:24 +00:00
varkor
2279907fd2 Take Const into account with nonstandard style lint
Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
2019-02-15 22:29:24 +00:00
varkor
10602f1dbf Drive-by cleanup
Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
2019-02-15 22:29:24 +00:00
varkor
7f3c6d7c04 Take Const into account in HIR
Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
2019-02-15 22:29:24 +00:00
varkor
ddf881110d Add E0111
Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
2019-02-15 22:28:49 +00:00
varkor
475f20c73d Add Const kind to rustdoc
Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
2019-02-15 22:28:49 +00:00
varkor
9a5f7b1eae Move const generic error from lowering to collect
Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
2019-02-15 22:28:48 +00:00
varkor
d44030d8ec Add pretty-printing for const generics
Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
2019-02-15 22:28:48 +00:00
varkor
725ba9625e Add Const kind to HIR
Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
2019-02-15 22:28:48 +00:00
bors
eac09088e1 Auto merge of #57880 - Zoxc:error-on-cycle, r=michaelwoerister
Always emit an error for a query cycle

r? @michaelwoerister

cc @nikomatsakis @wesleywiser
2019-02-15 22:22:10 +00:00
Nathan
4ad8770b26 Fix documentation for std::path::PathBuf::pop
Closes #58474.
2019-02-15 12:20:46 -05:00
bors
a9410cd1af Auto merge of #58406 - Disasm:rv64-support, r=nagisa
Add riscv64{imac,gc}-unknown-none-elf targets

Previous attempt by @fintelia: https://github.com/rust-lang/rust/pull/58012

Related: https://github.com/rust-embedded/wg/issues/218
2019-02-15 16:20:12 +00:00
Felix S. Klock II
9661ee6af4 fix tests post-rebase 2019-02-15 15:52:29 +01:00
Konrad Borowski
14001e8a7b Fix runtime error in generate-keyword-tests
The script was made unusable after removing license headers.
2019-02-15 14:48:21 +01:00
Niko Matsakis
4db6a9b82f make generalization code create new variables in correct universe
In our type inference system, when we "generalize" a type T to become
a suitable value for a type variable V, we sometimes wind up creating
new inference variables. So, for example, if we are making V be some
subtype of `&'X u32`, then we might instantiate V with `&'Y u32`.
This generalized type is then related `&'Y u32 <: &'X u32`, resulting
in a region constriant `'Y: 'X`. Previously, however, we were making
these fresh variables like `'Y` in the "current universe", but they
should be created in the universe of V. Moreover, we sometimes cheat
in an invariant context and avoid creating fresh variables if we know
the result must be equal -- we can only do that when the universes
work out.
2019-02-15 14:38:26 +01:00
Niko Matsakis
a49c9fb8c3 include more universe information in debug! printouts 2019-02-15 14:27:10 +01:00
Niko Matsakis
378741b703 print more information for closures when -Zverbose is given
Ideally, we'd probably print the closure substs themselves actually.
2019-02-15 14:27:10 +01:00
bors
f058741a67 Auto merge of #58403 - eddyb:requalify, r=oli-obk
rustc_mir: split qualify_consts' "value qualification" bitflags into separate computations.

Prerequisite for computing those bits through a dataflow algorithm ~~(which I might do in this PR later)~~.

This PR should not change behavior overall, other than treating `simd_shuffle*` identically to `#[rustc_args_required_const]` (maybe we should just have `#[rustc_args_required_const]` on the intrinsic imports of `simd_shuffle*`? cc @gnzlbg)

cc @oli-obk @alexreg
2019-02-15 12:15:17 +00:00
Saleem Jaffer
2c8e7082f1 compile-pass test for #53606 2019-02-15 14:28:24 +05:30
kennytm
d21026e3e0
Fix the syntax error in publish_toolstate.py 2019-02-15 14:26:27 +08:00
John Kåre Alsaker
82d7e33972 Remove stolen 2019-02-15 03:51:48 +01:00
John Kåre Alsaker
82ec72391f Always emit an error for a query cycle 2019-02-15 03:51:47 +01:00
Ralf Jung
95ef9b4fc2 make Centril happy 2019-02-14 22:31:06 +01:00
gnzlbg
1d6ce5228e Whitelist the ARM v8 target-feature 2019-02-14 22:00:33 +01:00
Ralf Jung
b5ab2c7f1c split MaybeUninit into several features, expand docs a bit 2019-02-14 20:07:57 +01:00
varkor
8ca44069bb Add updated NLL tests 2019-02-14 15:47:37 +00:00
Niko Matsakis
cce2c89e3b add .stderr file 2019-02-14 10:26:02 -05:00
Ralf Jung
c35a18ec2d remove MaybeUninit::into_inner 2019-02-14 16:21:21 +01:00
Ralf Jung
1e4ab1eca6 update stdsimd 2019-02-14 16:20:58 +01:00
Ralf Jung
a707a85530 fixed for libstd build 2019-02-14 16:20:58 +01:00
Ralf Jung
1546e07e63 add missing feature flag 2019-02-14 16:20:58 +01:00
Ralf Jung
9f197198b8 update stdsimd 2019-02-14 16:20:56 +01:00
varkor
519783adb3 Fix documentation typo 2019-02-14 15:04:37 +00:00
varkor
feb3408f11 Update const fn tests 2019-02-14 15:04:37 +00:00
varkor
2c339aeb7b Add specific error for unstable const fn features 2019-02-14 15:04:37 +00:00
Oliver Scherer
eb98d318b2 Require defining uses to use generic parameters for all parameters of a generic existential type 2019-02-14 13:02:36 +01:00
Eduard-Mihai Burtescu
f04424acd1 rustc_mir: compute all the qualification bits separately in qualify_consts. 2019-02-14 13:36:51 +02:00
Eduard-Mihai Burtescu
81648a0a6e rustc_mir: rename qualify_consts::Qualifier to ConstCx and keep in Checker as a field. 2019-02-14 13:36:51 +02:00
Eduard-Mihai Burtescu
99fc3eff57 rustc_mir: do not treat NEEDS_DROP as unexpected in qualify_consts. 2019-02-14 13:36:51 +02:00
Eduard-Mihai Burtescu
1d6332def3 rustc_mir: avoid having an Option around each local qualification in qualify_consts. 2019-02-14 13:36:51 +02:00
Eduard-Mihai Burtescu
2de5b38943 rustc_mir: rename Qualif::for_ty to Qualif::any_value_of_ty`. 2019-02-14 13:36:51 +02:00
Eduard-Mihai Burtescu
af131d55b6 rustc_mir: remove qualify_consts::Qualif::FN_ARGUMENT. 2019-02-14 13:36:51 +02:00
Eduard-Mihai Burtescu
b4fbebb636 rustc_mir: remove outdated const fn stability diagnostic. 2019-02-14 13:36:51 +02:00
Eduard-Mihai Burtescu
f6d1e9790c rustc_mir: split qualify_consts' checking and value qualification. 2019-02-14 13:36:51 +02:00
Eduard-Mihai Burtescu
732a2dc095 rustc_mir: split off some qualify_consts::Checker fields into a State struct. 2019-02-14 13:36:51 +02:00
Eduard-Mihai Burtescu
a5e4d1ad7d rustc_mir: rename qualify_consts::Qualifier to Checker. 2019-02-14 13:36:51 +02:00
bors
f47ec2ad5b Auto merge of #58455 - Centril:rollup, r=Centril
Rollup of 7 pull requests

Successful merges:

 - #58309 (Add more profiler events)
 - #58347 (Closure bounds fixes)
 - #58365 (Add an option to print the status of incremental tasks / dep nodes after running them)
 - #58371 (Check user type annotations for range patterns.)
 - #58378 (rustc: Implement incremental "fat" LTO)
 - #58407 (specify "upper camel case" in style lint)
 - #58449 (Notify @topecongiro when the state of rustfmt has changed)

Failed merges:

r? @ghost
2019-02-14 10:32:25 +00:00
Lzu Tao
23993e89d5 Remove no longer accurate diagnostic code about NLL
r? @steveklabnik
2019-02-14 07:40:25 +00:00