about summary refs log tree commit diff
AgeCommit message (Collapse)AuthorLines
2020-06-03fix `AdtDef` docsBastian Kauschke-1/+1
2020-06-03Auto merge of #70107 - lcnr:issue68977, r=eddybbors-174/+386
WF-check all ty::Const's, not just array lengths. fixes #68977 This PR removes the special case for array length in `wf::compute` and checks the well formedness of all consts. Changes `PredicateKind::WellFormed` to take a `GenericArg` and updates `wf::obligations`.
2020-06-03Auto merge of #72935 - Dylan-DPC:rollup-60g3ab6, r=Dylan-DPCbors-31/+83
Rollup of 5 pull requests Successful merges: - #72704 (Remote testing fixes) - #72820 (InstCombine: Don't optimize `&mut *x` into `x`) - #72848 (Correct generic parameter ordering in error note for E0747) - #72902 (Add a test to ensure Fuse stays covariant) - #72921 (Add assert to Vec with_capacity docs) Failed merges: r? @ghost
2020-06-03Rollup merge of #72921 - pickfire:vec-assert, r=Mark-SimulacrumDylan DPC-0/+2
Add assert to Vec with_capacity docs
2020-06-03Rollup merge of #72902 - cuviper:fuse-covariant, r=nikomatsakisDylan DPC-2/+3
Add a test to ensure Fuse stays covariant When #70502 attempted to specialize the data types in `Fuse`, one of the problems we found was that it broke variance. This was also realized when `Fuse` was first added, https://github.com/rust-lang/rust/pull/35656#discussion-diff-74995079, but now this PR adds a test so we don't forget again.
2020-06-03Rollup merge of #72848 - camelid:fix-72815, r=varkorDylan DPC-3/+21
Correct generic parameter ordering in error note for E0747 Fixes #72815. r? @varkor
2020-06-03Rollup merge of #72820 - jonas-schievink:instcombine-uninit, r=oli-obkDylan DPC-14/+25
InstCombine: Don't optimize `&mut *x` into `x` Fixes https://github.com/rust-lang/rust/issues/72797
2020-06-03Rollup merge of #72704 - tblah:remote-testing-fixes, r=Mark-SimulacrumDylan DPC-12/+32
Remote testing fixes Improvements for remote testing - Create a `RUST_TEST_TMPDIR` directory on the remote testing host - Verbose mode for remote-test-server - Skip tests which don't support remote testing using `// ignore-remote` To test: - Build `remote-test-server` for the target machine and copy it over - On the target: ``` sh remote-test-server remote ``` - On the build machine ``` sh export TEST_DEVICE_ADDR="1.2.3.4:12345" ./x.py test ```
2020-06-03Add assert to Vec with_capacity docsIvan Tham-0/+2
2020-06-02Auto merge of #72918 - Dylan-DPC:rollup-pnvj62b, r=Dylan-DPCbors-242/+100
Rollup of 4 pull requests Successful merges: - #72884 (RawString error reporting cleanup ) - #72888 (Add a warning about infinite reading in read_(until|line)) - #72914 (Minor: off-by-one error in RELEASES.md) - #72916 (Update README.md) Failed merges: r? @ghost
2020-06-02Rollup merge of #72916 - DutchGhost:patch-1, r=jonas-schievinkDylan DPC-1/+1
Update README.md https://github.com/rust-lang/rust/pull/72827 changed it from `*.nix` to `Unix-like system`, but actually it should be `a Unix-like system`
2020-06-02Rollup merge of #72914 - petertodd:2020-minor-at-most-32, r=jonas-schievinkDylan DPC-1/+1
Minor: off-by-one error in RELEASES.md
2020-06-02Rollup merge of #72888 - poliorcetics:improve-read_line-read_until-doc, ↵Dylan DPC-0/+8
r=Dylan-DPC Add a warning about infinite reading in read_(until|line) Fix for #48788. This PR adds a warning to [`BufRead::read_line`](https://doc.rust-lang.org/stable/std/io/trait.BufRead.html#method.read_line) and [`BufRead::read_until`](https://doc.rust-lang.org/stable/std/io/trait.BufRead.html#method.read_until) about the possibility of an attack using the behaviour of these functions. I did not mention a possible fix (using [`Read::take`](https://doc.rust-lang.org/stable/std/io/trait.Read.html#method.take), should I ?
2020-06-02Rollup merge of #72884 - Julian-Wollersberger:raw_str_error_cleanup, ↵Dylan DPC-240/+90
r=petrochenkov RawString error reporting cleanup I simplified how errors with raw string are represented in the lexer and reportet in the parser, by using one enum instead of two structs with impls. This makes 70 code lines obsolete. I also noticed some other things (2nd commit) and added a missing test for the `too many '#' symbols' error. My original intent was to improve performance, but the only thing I found was to inline some functions in `cursor.rs`. It's effect is barely measurable, though. There is one open question. Before, the compiler aborts when encountering the `too many '#' symbols` error. Now the lexer says in this case that there are 0 hashes, and then later the parser aborts on the error. I'm worrying that the parser may be changed to recover and continue, and then later stages will see the wrong numer of hashes and act strange. (eg. the `format!` macro expansion). Is that possibility important enough today to worry about it?
2020-06-02Update README.mdDutchGhost-1/+1
https://github.com/rust-lang/rust/pull/72827 changed it from `*.nix` to `Unix-like system`, but actually it should be `a Unix-like system`
2020-06-02Minor: off-by-one error in RELEASES.mdPeter Todd-1/+1
2020-06-02update testsBastian Kauschke-11/+37
2020-06-02change WellFormed predicate to GenericArgBastian Kauschke-255/+157
2020-06-02add WellFormedConst predicateBastian Kauschke-61/+296
2020-06-02implement wf checking for constantsBastian Kauschke-38/+87
2020-06-02compiletest: Add name directive for remote runnersTom Eccles-0/+3
Allow tests to use // ignore-remote to ignore the test when using remote-test-{client,server}. In most situations this would be covered by // ignore-cross-compile but I see no reason that a non-cross compiled remote test runner shouldn't work.
2020-06-02tools/remote-test-server: make use of verbose optionTom Eccles-6/+16
There was an unused verbose command line argument. Add some prints if verbose is set.
2020-06-02tools/remote-test-{server,client}: support RUST_TEST_TMPDIRTom Eccles-8/+15
Some tests (e.g. ui-fulldeps/create-dir-all-bare.rs) assume that RUST_TEST_TMPDIR exists on the system running the test. Expand remote-test-{server,client} such that a tmp directory is created on the remote runner and this environment variable will point at it.
2020-06-02Auto merge of #72672 - seritools:remote-test-windows, r=Mark-Simulacrumbors-40/+89
Make remote-test-client and remote-test-server compatible with windows `compiletest` and `remote-test-client`: The command line for `remote-test-client` was changed slightly to allow cross-platform compatible paths. The old way of supplying the support libs was by joining their paths with the executable path with `:`. This caused Windows-style paths to be split after the directory letter. Now, the number of support libs is provided as a parameter as well, and the support lib paths are split off from the regular args in the client. `remote-test-server`: - Marked Unix-only parts as such and implemented Windows alternatives - On Windows `LD_LIBRARY_PATH` doesn't exist. Libraries are loaded from `PATH` though, so that's the way around it. - Tiny cleanup: `Command::args`/`envs` instead of manually looping over them - The temp path for Windows has to be set via environment variable, since there isn't a global temp directory that would work on every machine (as a static string)
2020-06-02Auto merge of #72905 - JohnTitor:rollup-phtyo5i, r=JohnTitorbors-87/+238
Rollup of 10 pull requests Successful merges: - #72775 (Return early to avoid ICE) - #72795 (Add a test for `$:ident` in proc macro input) - #72822 (remove trivial calls to mk_const) - #72825 (Clarify errors and warnings about the transition to the new asm!) - #72827 (changed *nix to Unix-like) - #72880 (Clean up E0637 explanation) - #72886 (Remove allow missing_debug_implementations for MaybeUninit) - #72889 (rustc: Remove the `--passive-segments` LLD flag on wasm) - #72891 (Add associated consts MIN/MAX for Wrapping<Int>) - #72893 (test miri-unleash TLS accesses) Failed merges: r? @ghost
2020-06-02Rollup merge of #72893 - RalfJung:unleash-tls, r=ecstatic-morseYuki Okushi-15/+58
test miri-unleash TLS accesses Finally gets rid of `IS_SUPPORTED_IN_MIRI`. :-) I also added a test for the new `asm!` while I am at it. r? @ecstatic-morse Cc @rust-lang/wg-const-eval
2020-06-02Rollup merge of #72891 - lzutao:wrapping_int-max, r=sfacklerYuki Okushi-12/+4
Add associated consts MIN/MAX for Wrapping<Int>
2020-06-02Rollup merge of #72889 - alexcrichton:update-wasm-threads, r=nikomatsakisYuki Okushi-4/+0
rustc: Remove the `--passive-segments` LLD flag on wasm This flag looks like it's been removed in LLVM 10, so this removes rustc unconditionally passing the flag.
2020-06-02Rollup merge of #72886 - xfix:patch-21, r=jonas-schievinkYuki Okushi-1/+0
Remove allow missing_debug_implementations for MaybeUninit It already has a Debug implementation.
2020-06-02Rollup merge of #72880 - GuillaumeGomez:cleanup-e0637, r=Dylan-DPCYuki Okushi-1/+4
Clean up E0637 explanation r? @Dylan-DPC
2020-06-02Rollup merge of #72827 - milrope:patch-1, r=nikomatsakisYuki Okushi-1/+1
changed *nix to Unix-like
2020-06-02Rollup merge of #72825 - Amanieu:asm-warning, r=davidtwcoYuki Okushi-12/+21
Clarify errors and warnings about the transition to the new asm! Hopefully addresses the concerns from https://github.com/rust-lang/rust/pull/71007#issuecomment-636412905.
2020-06-02Rollup merge of #72822 - lcnr:intern-me, r=estebankYuki Okushi-1/+5
remove trivial calls to mk_const similar to #72754
2020-06-02Rollup merge of #72795 - petrochenkov:identgroup, r=nikomatsakisYuki Okushi-33/+99
Add a test for `$:ident` in proc macro input cc https://github.com/rust-lang/rust/issues/72545#issuecomment-636388019
2020-06-02Rollup merge of #72775 - JohnTitor:await-sugg, r=estebankYuki Okushi-7/+46
Return early to avoid ICE Fixes #72766
2020-06-01Add a test to ensure Fuse stays covariantJosh Stone-2/+3
2020-06-02Fix commentRalf Jung-1/+1
Co-authored-by: Aaron Hill <aa1ronham@gmail.com>
2020-06-01Cleanup: Inline `struct_span_fatal()`, which is only called once, and remove ↵Julian Wollersberger-24/+5
an outdated FIXME.
2020-06-01Simplify raw string error reporting.Julian Wollersberger-216/+85
This makes `UnvalidatedRawStr` and `ValidatedRawStr` unnecessary and removes 70 lines.
2020-06-01Include kind in `bug!`Camelid-1/+1
Co-authored-by: hafiz <20735482+ayazhafiz@users.noreply.github.com>
2020-06-01Auto merge of #72779 - RalfJung:miri, r=oli-obkbors-23/+42
bump Miri, update for cargo-miri being a separate project r? @oli-obk Fixes https://github.com/rust-lang/rust/issues/72801
2020-06-01test miri-unleash TLS accessesRalf Jung-15/+58
2020-06-01bump Miri, update for cargo-miri being a separate projectRalf Jung-23/+42
2020-06-01Use `bug!` instead of `panic!`Camelid-1/+3
Co-authored-by: varkor <github@varkor.com>
2020-06-01Add associated consts MIN/MAX for Wrapping<Int>Lzu Tao-12/+4
2020-06-01rustc: Remove the `--passive-segments` LLD flag on wasmAlex Crichton-4/+0
This flag looks like it's been removed in LLVM 10, so this removes rustc unconditionally passing the flag.
2020-06-01Add a warning about infinite reading in read_(until|line)Alexis Bourget-0/+8
2020-06-01Remove allow missing_debug_implementations for MaybeUninitKonrad Borowski-1/+0
It already has a Debug implementation.
2020-06-01Auto merge of #71192 - oli-obk:eager_alloc_id_canonicalization, r=wesleywiserbors-23/+157
Make TLS accesses explicit in MIR r? @rust-lang/wg-mir-opt cc @RalfJung @vakaras for miri thread locals cc @bjorn3 for cranelift fixes #70685
2020-06-01Clean up E0637 explanationGuillaume Gomez-1/+4