]> git.lizzy.rs Git - rust.git/log
rust.git
6 years agoUpdate tests for grouped nll move errors
Matthew Jasper [Wed, 27 Jun 2018 21:07:20 +0000 (22:07 +0100)]
Update tests for grouped nll move errors

6 years agoGroup move errors before reporting, add suggestions
Matthew Jasper [Wed, 27 Jun 2018 21:06:54 +0000 (22:06 +0100)]
Group move errors before reporting, add suggestions

6 years agoAuto merge of #51139 - vakaras:issue-50716, r=nikomatsakis
bors [Wed, 27 Jun 2018 21:32:44 +0000 (21:32 +0000)]
Auto merge of #51139 - vakaras:issue-50716, r=nikomatsakis

Fix NLL issue 50716 and add a regression test.

Fix for NLL issue #50716.

r? @nikomatsakis

6 years agoUpdate MIR opt tests
Matthew Jasper [Wed, 27 Jun 2018 21:06:21 +0000 (22:06 +0100)]
Update MIR opt tests

6 years agoGenerate a direct assignment in MIR for `let x = y;`
Matthew Jasper [Wed, 27 Jun 2018 21:04:45 +0000 (22:04 +0100)]
Generate a direct assignment in MIR for `let x = y;`

6 years agorustfmt various files
Niko Matsakis [Wed, 27 Jun 2018 20:17:49 +0000 (16:17 -0400)]
rustfmt various files

6 years agochange the `enter_canonical_trait_query` method to give a fulfill cx
Niko Matsakis [Wed, 27 Jun 2018 20:04:32 +0000 (16:04 -0400)]
change the `enter_canonical_trait_query` method to give a fulfill cx

6 years agoupdate comments
Niko Matsakis [Wed, 27 Jun 2018 19:43:23 +0000 (15:43 -0400)]
update comments

6 years agorename `prequery` to `try_fast_path`
Niko Matsakis [Wed, 27 Jun 2018 19:39:20 +0000 (15:39 -0400)]
rename `prequery` to `try_fast_path`

6 years agopull out `ParamEnvAnd` and remove `QueryKey`
Niko Matsakis [Wed, 27 Jun 2018 19:17:03 +0000 (15:17 -0400)]
pull out `ParamEnvAnd` and remove `QueryKey`

6 years agoAuto merge of #51852 - oli-obk:miri_fix, r=Zoxc
bors [Wed, 27 Jun 2018 19:30:14 +0000 (19:30 +0000)]
Auto merge of #51852 - oli-obk:miri_fix, r=Zoxc

Don't use `ParamEnv::reveal_all()` if there is a real one available

fixes #51841

r? @Zoxc

6 years agorun rustfmt
Niko Matsakis [Wed, 27 Jun 2018 17:32:00 +0000 (13:32 -0400)]
run rustfmt

6 years agoAuto merge of #51850 - abarth:draw_again, r=cramertj
bors [Wed, 27 Jun 2018 17:20:27 +0000 (17:20 +0000)]
Auto merge of #51850 - abarth:draw_again, r=cramertj

[fuchsia] Update zx_cprng_draw to target semantics

This change is the final step in improving the semantics of
zx_cprng_draw. Now the syscall always generates the requested number of
bytes. If the syscall would have failed to generate the requested number
of bytes, the syscall either terminates the entire operating system or
terminates the calling process, depending on whether the error is a
result of the kernel misbehaving or the userspace program misbehaving.

6 years agodon't use Iterator and zip but just invoke `next` manually
Niko Matsakis [Wed, 27 Jun 2018 16:58:29 +0000 (12:58 -0400)]
don't use Iterator and zip but just invoke `next` manually

This micro-optimizes some if checks away; the compiler may already
have been doing it, not sure.

6 years agoDon't use `ParamEnv::reveal_all()` if there is a real one available
Oliver Schneider [Wed, 27 Jun 2018 16:24:24 +0000 (18:24 +0200)]
Don't use `ParamEnv::reveal_all()` if there is a real one available

6 years agoFix the error of selecting obligation by not running the borrow checker.
Vytautas Astrauskas [Tue, 26 Jun 2018 15:00:39 +0000 (17:00 +0200)]
Fix the error of selecting obligation by not running the borrow checker.

6 years agoMove regression test from `compile-fail/` to `ui/` test directory.
Felix S. Klock II [Wed, 30 May 2018 14:23:54 +0000 (16:23 +0200)]
Move regression test from `compile-fail/` to `ui/` test directory.

6 years agoFix the regression test for issue 50716.
Vytautas Astrauskas [Tue, 29 May 2018 07:13:49 +0000 (09:13 +0200)]
Fix the regression test for issue 50716.

6 years agoFix NLL issue 50716 and add a regression test.
Vytautas Astrauskas [Mon, 28 May 2018 13:21:47 +0000 (15:21 +0200)]
Fix NLL issue 50716 and add a regression test.

6 years ago[fuchsia] Update zx_cprng_draw to target semantics
Adam Barth [Wed, 27 Jun 2018 15:56:19 +0000 (08:56 -0700)]
[fuchsia] Update zx_cprng_draw to target semantics

This change is the final step in improving the semantics of
zx_cprng_draw. Now the syscall always generates the requested number of
bytes. If the syscall would have failed to generate the requested number
of bytes, the syscall either terminates the entire operating system or
terminates the calling process, depending on whether the error is a
result of the kernel misbehaving or the userspace program misbehaving.

6 years agoavoid use of vectors etc
Niko Matsakis [Wed, 27 Jun 2018 15:46:48 +0000 (11:46 -0400)]
avoid use of vectors etc

6 years agoextract `places_conflict` into its own module
Niko Matsakis [Wed, 27 Jun 2018 15:16:24 +0000 (11:16 -0400)]
extract `places_conflict` into its own module

6 years agoAuto merge of #51356 - Zoxc:encode-cleanup, r=michaelwoerister
bors [Wed, 27 Jun 2018 14:25:52 +0000 (14:25 +0000)]
Auto merge of #51356 - Zoxc:encode-cleanup, r=michaelwoerister

Make opaque::Encoder append-only and make it infallible

6 years agomove into `provide` methods
Niko Matsakis [Wed, 27 Jun 2018 13:42:00 +0000 (09:42 -0400)]
move into `provide` methods

6 years agorename to `shrink_to_tcx_lifetime`
Niko Matsakis [Wed, 27 Jun 2018 13:27:07 +0000 (09:27 -0400)]
rename to `shrink_to_tcx_lifetime`

6 years agoDocument that Layout::from_size_align does not allow align=0
Simon Sapin [Wed, 27 Jun 2018 13:04:49 +0000 (15:04 +0200)]
Document that Layout::from_size_align does not allow align=0

This was already implied since zero is not a power of two, but maybe
worth pointing out.

6 years agoextend comment to note complications around lifetimes
Niko Matsakis [Wed, 27 Jun 2018 12:55:41 +0000 (08:55 -0400)]
extend comment to note complications around lifetimes

6 years agosyntax_pos: Store multibyte char size as u8 instead of u32.
Michael Woerister [Tue, 26 Jun 2018 13:37:09 +0000 (15:37 +0200)]
syntax_pos: Store multibyte char size as u8 instead of u32.

6 years agoAdd comments to analzye_filemap().
Michael Woerister [Fri, 1 Jun 2018 10:54:15 +0000 (12:54 +0200)]
Add comments to analzye_filemap().

6 years agoAdd SSE2 accelerated version of FileMap analysis.
Michael Woerister [Tue, 29 May 2018 15:50:13 +0000 (17:50 +0200)]
Add SSE2 accelerated version of FileMap analysis.

6 years agoUse u32 instead of usize of encoding byte count of multi-byte chars.
Michael Woerister [Tue, 29 May 2018 15:49:35 +0000 (17:49 +0200)]
Use u32 instead of usize of encoding byte count of multi-byte chars.

6 years agoUpdate CodeMap tests after changing FileMap construction.
Michael Woerister [Thu, 24 May 2018 09:30:30 +0000 (11:30 +0200)]
Update CodeMap tests after changing FileMap construction.

6 years agoRemove the now redundant CodeMap::new_filemap_with_lines() method.
Michael Woerister [Wed, 23 May 2018 14:19:20 +0000 (16:19 +0200)]
Remove the now redundant CodeMap::new_filemap_with_lines() method.

6 years agoMake FileMap::{lines, multibyte_chars, non_narrow_chars} non-mutable.
Michael Woerister [Wed, 23 May 2018 13:59:42 +0000 (15:59 +0200)]
Make FileMap::{lines, multibyte_chars, non_narrow_chars} non-mutable.

6 years agoDetect overflows of non u32 shifts
Oliver Schneider [Wed, 27 Jun 2018 11:47:19 +0000 (13:47 +0200)]
Detect overflows of non u32 shifts

6 years agopacify the mercilous tidy
Niko Matsakis [Wed, 27 Jun 2018 11:28:25 +0000 (07:28 -0400)]
pacify the mercilous tidy

6 years agoimprove comments on `dropck_outlives`
Niko Matsakis [Wed, 27 Jun 2018 11:26:29 +0000 (07:26 -0400)]
improve comments on `dropck_outlives`

6 years agoAuto merge of #51496 - petrochenkov:mhelper2, r=nikomatsakis
bors [Wed, 27 Jun 2018 11:20:16 +0000 (11:20 +0000)]
Auto merge of #51496 - petrochenkov:mhelper2, r=nikomatsakis

Implement `#[macro_export(local_inner_macros)]` (a solution for the macro helper import problem)

Implement a solution for the macro helper issue discussed in https://github.com/rust-lang/rust/issues/35896 as described in https://github.com/rust-lang/rust/issues/35896#issuecomment-395977901.

Macros exported from libraries can be marked with `#[macro_export(local_inner_macros)]` and this annotation changes how nested macros in them are resolved.

If we have a fn-like macro call `ident!(...)` and `ident` comes from a `macro_rules!` macro marked with  `#[macro_export(local_inner_macros)]` then it's replaced with `$crate::ident!(...)` and resolved as such (`$crate` gets the same context as `ident`).

6 years agoimprove comment on instantiate NLL query result fn
Niko Matsakis [Wed, 27 Jun 2018 11:19:17 +0000 (07:19 -0400)]
improve comment on instantiate NLL query result fn

6 years agoremove `either` dependency we are not using
Niko Matsakis [Wed, 27 Jun 2018 11:05:40 +0000 (07:05 -0400)]
remove `either` dependency we are not using

6 years agorename `upcast` to `cast_to_tcx_lifetime` and improve comment
Niko Matsakis [Wed, 27 Jun 2018 11:02:37 +0000 (07:02 -0400)]
rename `upcast` to `cast_to_tcx_lifetime` and improve comment

6 years agofix wrong query description
Niko Matsakis [Wed, 27 Jun 2018 10:57:20 +0000 (06:57 -0400)]
fix wrong query description

6 years agomerge all the `type_op_foo` modules into one as they are so trivial
Niko Matsakis [Wed, 27 Jun 2018 10:53:23 +0000 (06:53 -0400)]
merge all the `type_op_foo` modules into one as they are so trivial

6 years agouse query boiler plate for `normalize_projection_ty` too
Niko Matsakis [Wed, 27 Jun 2018 10:47:55 +0000 (06:47 -0400)]
use query boiler plate for `normalize_projection_ty` too

6 years agouse query boilerplate for prove-predicate -- slightly inefficient
Niko Matsakis [Wed, 27 Jun 2018 10:49:05 +0000 (06:49 -0400)]
use query boilerplate for prove-predicate -- slightly inefficient

This requires us to allocate a single entry vector we didn't use to
allocate. I doubt this makes a difference in practice, as this only
occurs for cache misses.

6 years agouse query boilerplate for subtype
Niko Matsakis [Wed, 27 Jun 2018 10:48:52 +0000 (06:48 -0400)]
use query boilerplate for subtype

6 years agouse query boilerplate for `normalize`
Niko Matsakis [Wed, 27 Jun 2018 10:48:43 +0000 (06:48 -0400)]
use query boilerplate for `normalize`

6 years agoextract out query boilerplate and use for `Eq`
Niko Matsakis [Wed, 27 Jun 2018 10:48:32 +0000 (06:48 -0400)]
extract out query boilerplate and use for `Eq`

6 years agoImplement `#[macro_export(local_inner_macros)]`
Vadim Petrochenkov [Mon, 11 Jun 2018 11:21:36 +0000 (14:21 +0300)]
Implement `#[macro_export(local_inner_macros)]`

6 years agoUpdate ui tests
Oliver Schneider [Wed, 27 Jun 2018 10:03:59 +0000 (12:03 +0200)]
Update ui tests

6 years agonit: don't import Debug directly
Niko Matsakis [Wed, 27 Jun 2018 10:01:19 +0000 (06:01 -0400)]
nit: don't import Debug directly

6 years agoMake opaque::Encoder append-only and make it infallible
John Kåre Alsaker [Mon, 4 Jun 2018 20:14:02 +0000 (22:14 +0200)]
Make opaque::Encoder append-only and make it infallible

6 years agoExplain the lack of item recursion
Oliver Schneider [Wed, 27 Jun 2018 09:41:21 +0000 (11:41 +0200)]
Explain the lack of item recursion

6 years agoDeduplicate async's impl Trait id lowering
Oliver Schneider [Wed, 27 Jun 2018 09:37:52 +0000 (11:37 +0200)]
Deduplicate async's impl Trait id lowering

6 years agoAdd a convenience method for getting the impl Trait `NodeId` of an `IsAysnc`
Oliver Schneider [Wed, 27 Jun 2018 09:25:22 +0000 (11:25 +0200)]
Add a convenience method for getting the impl Trait `NodeId` of an `IsAysnc`

6 years agoDocument the `make_ret_async` argument's `NodeId`
Oliver Schneider [Wed, 27 Jun 2018 09:24:50 +0000 (11:24 +0200)]
Document the `make_ret_async` argument's `NodeId`

6 years agoUndo if let -> match conversion
Oliver Schneider [Wed, 27 Jun 2018 09:24:16 +0000 (11:24 +0200)]
Undo if let -> match conversion

6 years agoAuto merge of #51835 - tmccombs:stable-int-to-from-bytes, r=joshtriplett
bors [Wed, 27 Jun 2018 09:21:34 +0000 (09:21 +0000)]
Auto merge of #51835 - tmccombs:stable-int-to-from-bytes, r=joshtriplett

Stabilize to_bytes and from_bytes for integers.

Fixes #49792

6 years agoFix rebase fallout
Oliver Schneider [Tue, 26 Jun 2018 14:35:52 +0000 (16:35 +0200)]
Fix rebase fallout

6 years agoDon't visit the `impl Trait` item twice
Oliver Schneider [Tue, 26 Jun 2018 12:40:05 +0000 (14:40 +0200)]
Don't visit the `impl Trait` item twice

6 years agoDon't use `println` in the compiler
Oliver Schneider [Tue, 26 Jun 2018 12:39:37 +0000 (14:39 +0200)]
Don't use `println` in the compiler

6 years agoUpdate tests
Oliver Schneider [Tue, 26 Jun 2018 09:57:03 +0000 (11:57 +0200)]
Update tests

6 years agoDon't generate `DefId`s for impl trait in trait methods
Oliver Schneider [Tue, 26 Jun 2018 09:56:47 +0000 (11:56 +0200)]
Don't generate `DefId`s for impl trait in trait methods

6 years agoGenerate `DefId`s for the impl trait of `async` functions
Oliver Schneider [Tue, 26 Jun 2018 09:56:24 +0000 (11:56 +0200)]
Generate `DefId`s for the impl trait of `async` functions

6 years agoAlso place method impl trait into the surrounding module
Oliver Schneider [Fri, 22 Jun 2018 10:03:44 +0000 (12:03 +0200)]
Also place method impl trait into the surrounding module

6 years agofixup
Oliver Schneider [Mon, 25 Jun 2018 15:50:51 +0000 (17:50 +0200)]
fixup

6 years agoGenerate `DefId`s for impl Trait in the def_collector
Oliver Schneider [Wed, 20 Jun 2018 08:59:24 +0000 (10:59 +0200)]
Generate `DefId`s for impl Trait in the def_collector

6 years agoDon't generate a new NodeId for universal impl Trait
Oliver Schneider [Wed, 20 Jun 2018 08:44:31 +0000 (10:44 +0200)]
Don't generate a new NodeId for universal impl Trait

6 years agoGenerate the `NodeId` for `existential type` in the AST
Oliver Schneider [Mon, 18 Jun 2018 14:23:13 +0000 (16:23 +0200)]
Generate the `NodeId` for `existential type` in the AST

6 years agoCleanup in preparation of generic extraction
Oliver Schneider [Mon, 18 Jun 2018 11:44:36 +0000 (13:44 +0200)]
Cleanup in preparation of generic extraction

6 years agoAuto merge of #51815 - oli-obk:lowering_cleanups2, r=nikomatsakis
bors [Wed, 27 Jun 2018 07:16:13 +0000 (07:16 +0000)]
Auto merge of #51815 - oli-obk:lowering_cleanups2, r=nikomatsakis

Lowering cleanups [2/N]

Double indirections are unnecessary

6 years agoOptimize RefCell refcount tracking
Joshua Liebow-Feeser [Wed, 27 Jun 2018 07:07:18 +0000 (00:07 -0700)]
Optimize RefCell refcount tracking

6 years agoStabilize to_bytes and from_bytes for integers.
Thayne McCombs [Wed, 27 Jun 2018 05:17:56 +0000 (23:17 -0600)]
Stabilize to_bytes and from_bytes for integers.

Fixes #49792

6 years agoFix the error reference for LocalKey::try_with
Michal 'vorner' Vaner [Tue, 26 Jun 2018 20:58:25 +0000 (22:58 +0200)]
Fix the error reference for LocalKey::try_with

6 years agoAuto merge of #51598 - Pazzaz:master, r=sfackler
bors [Wed, 27 Jun 2018 04:02:05 +0000 (04:02 +0000)]
Auto merge of #51598 - Pazzaz:master, r=sfackler

Optimize sum of Durations by using custom function

The current `impl Sum for Duration` uses `fold` to perform several `add`s (or really `checked_add`s) of durations. In doing so, it has to guarantee the number of nanoseconds is valid after every addition. If you squeese the current implementation into a single function it looks kind of like this:
````rust
fn sum<I: Iterator<Item = Duration>>(iter: I) -> Duration {
    let mut sum = Duration::new(0, 0);
    for rhs in iter {
        if let Some(mut secs) = sum.secs.checked_add(rhs.secs) {
            let mut nanos = sum.nanos + rhs.nanos;
            if nanos >= NANOS_PER_SEC {
                nanos -= NANOS_PER_SEC;
                if let Some(new_secs) = secs.checked_add(1) {
                    secs = new_secs;
                } else {
                    panic!("overflow when adding durations");
                }
            }
            sum = Duration { secs, nanos }
        } else {
            panic!("overflow when adding durations");
        }
    }
    sum
}
````
We only need to check if `nanos` is in the correct range when giving our final answer so we can have a more optimized version like so:
````rust
fn sum<I: Iterator<Item = Duration>>(iter: I) -> Duration {
    let mut total_secs: u64 = 0;
    let mut total_nanos: u64 = 0;

    for entry in iter {
        total_secs = total_secs
            .checked_add(entry.secs)
            .expect("overflow in iter::sum over durations");
        total_nanos = match total_nanos.checked_add(entry.nanos as u64) {
            Some(n) => n,
            None => {
                total_secs = total_secs
                    .checked_add(total_nanos / NANOS_PER_SEC as u64)
                    .expect("overflow in iter::sum over durations");
                (total_nanos % NANOS_PER_SEC as u64) + entry.nanos as u64
            }
        };
    }
    total_secs = total_secs
        .checked_add(total_nanos / NANOS_PER_SEC as u64)
        .expect("overflow in iter::sum over durations");
    total_nanos = total_nanos % NANOS_PER_SEC as u64;
    Duration {
        secs: total_secs,
        nanos: total_nanos as u32,
    }
}
````
We now only convert `total_nanos` to `total_secs` (1) if `total_nanos` overflows and (2) at the end of the function when we have to output a valid `Duration`. This gave a 5-22% performance improvement when I benchmarked it, depending on how big the `nano` value of the `Duration`s in `iter` were.

6 years agoAuto merge of #51773 - oli-obk:cleanup_impl_trait, r=nikomatsakis
bors [Wed, 27 Jun 2018 01:49:56 +0000 (01:49 +0000)]
Auto merge of #51773 - oli-obk:cleanup_impl_trait, r=nikomatsakis

Don't inspect the generated existential type items

r? @nikomatsakis

My debugging led me to the `hir::ItemExistential(..)` checks, which are entirely unnecessary because we never use the items directly. The issue was that items were iterated over in a random order (due to hashmaps), so if you checked the `ItemExistential` before the function that has the actual return `impl Trait`, you'd run into those ICEs you encountered.

6 years agoadd edition compiletest header + fix tests
mark [Tue, 26 Jun 2018 03:04:08 +0000 (22:04 -0500)]
add edition compiletest header + fix tests

6 years agolower case some feature gate messages
mark [Tue, 26 Jun 2018 02:29:13 +0000 (21:29 -0500)]
lower case some feature gate messages

6 years agoAuto merge of #51149 - zackmdavis:․․․_to_․․=, r=nikomatsakis
bors [Tue, 26 Jun 2018 23:15:30 +0000 (23:15 +0000)]
Auto merge of #51149 - zackmdavis:․․․_to_․․=, r=nikomatsakis

lint to favor `..=` over `...` range patterns; migrate to `..=` throughout codebase

We probably need an RFC to actually deprecate the `...` syntax, but here's a candidate implementation for the lint considered in #51043. (My local build is super flaky, but hopefully I got all of the test revisions.)

6 years agoAuto merge of #51814 - MajorBreakfast:local-task-obj, r=cramertj
bors [Tue, 26 Jun 2018 21:09:52 +0000 (21:09 +0000)]
Auto merge of #51814 - MajorBreakfast:local-task-obj, r=cramertj

Add `LocalTaskObj` to `core::task`

- Splits `libcore/task.rs` into submodules
- Adds `LocalTaskObj` and `SpawnLocalObjError` (-> [Commit for this](https://github.com/rust-lang/rust/commit/433e6b31a75eea5ce45493acc63eae462d740338))

Note: To make reviewing easy, both actions have their own commit

r? @cramertj

6 years agoMove spawn errors into executor.rs
Josef Reinhard Brandl [Tue, 26 Jun 2018 19:13:36 +0000 (21:13 +0200)]
Move spawn errors into executor.rs

6 years agoNested `LocalTaskObj` in `TaskObj`, remove `SpawnErrorObj` conversions
Josef Reinhard Brandl [Tue, 26 Jun 2018 19:06:20 +0000 (21:06 +0200)]
Nested `LocalTaskObj` in `TaskObj`, remove `SpawnErrorObj` conversions

6 years agoAuto merge of #51756 - nielx:fix/librustdoc, r=GuillaumeGomez
bors [Tue, 26 Jun 2018 18:55:09 +0000 (18:55 +0000)]
Auto merge of #51756 - nielx:fix/librustdoc, r=GuillaumeGomez

Haiku: set stack size to 16 MB on Haiku, use 32 MB on other platforms

The maximum stack size on Haiku is set to 16 MB (see [the Haiku source](https://git.haiku-os.org/haiku/tree/headers/private/system/thread_defs.h#n17)). With this change rustdoc will also work on Haiku.

6 years agodo not re-create the `LocationTable` for every path
Niko Matsakis [Tue, 26 Jun 2018 11:12:51 +0000 (07:12 -0400)]
do not re-create the `LocationTable` for every path

:facepalm:

6 years agoconvert query-type-op to create query-region-constraint directly
Niko Matsakis [Tue, 19 Jun 2018 22:32:43 +0000 (18:32 -0400)]
convert query-type-op to create query-region-constraint directly

6 years agoadd a streamlined `instantiate_query_result` method for NLL queries
Niko Matsakis [Tue, 19 Jun 2018 14:01:08 +0000 (10:01 -0400)]
add a streamlined `instantiate_query_result` method for NLL queries

6 years agoconvert `dropck_outlives` type-op to use the query
Niko Matsakis [Tue, 19 Jun 2018 21:25:32 +0000 (17:25 -0400)]
convert `dropck_outlives` type-op to use the query

6 years agointroduce `QueryKey` separation
Niko Matsakis [Tue, 19 Jun 2018 19:00:55 +0000 (15:00 -0400)]
introduce `QueryKey` separation

6 years agoextract more helpers from instantiating query result
Niko Matsakis [Tue, 19 Jun 2018 09:08:24 +0000 (05:08 -0400)]
extract more helpers from instantiating query result

6 years agoWIP fix error messages for propagate_approximated_shorter_to_static_no_bound
Niko Matsakis [Wed, 20 Jun 2018 20:04:34 +0000 (16:04 -0400)]
WIP fix error messages for propagate_approximated_shorter_to_static_no_bound

6 years agoAuto merge of #51725 - Mark-Simulacrum:no-llvm, r=kennytm
bors [Tue, 26 Jun 2018 16:26:00 +0000 (16:26 +0000)]
Auto merge of #51725 - Mark-Simulacrum:no-llvm, r=kennytm

Do not build LLVM tools for any of the tools

None of the tools in the list should need LLVM tools themselves as far as I can
tell; if this is incorrect, we can re-enable the tool building later.

The primary reason for doing this is that rust-central-station uses the
BuildManifest tool and building LLVM there is not cached: it takes ~1.5
hours on the 2 core machine. This commit should make nightlies and
stable releases much faster.

Followup to https://github.com/rust-lang/rust/pull/51459, r? @kennytm

I'm mostly relying on CI to test this so probably don't roll it up; I'm not sure how to (and not particularly inclined to) wait for multiple hours to test this locally. I imagine that the failures should be fairly obvious when/if encountered.

6 years agoUpdate rustdoc
Oliver Schneider [Thu, 21 Jun 2018 16:49:34 +0000 (18:49 +0200)]
Update rustdoc

6 years agoFlatten some occurrences of `[P<T>]` to `[T]`
Oliver Schneider [Wed, 20 Jun 2018 17:05:27 +0000 (19:05 +0200)]
Flatten some occurrences of `[P<T>]` to `[T]`

6 years agoAdd `LocalTaskObj`
Josef Reinhard Brandl [Tue, 26 Jun 2018 15:06:20 +0000 (17:06 +0200)]
Add `LocalTaskObj`

6 years agoinstantiate closure requirements as query-region-constraints [WIP]
Niko Matsakis [Tue, 19 Jun 2018 08:42:21 +0000 (04:42 -0400)]
instantiate closure requirements as query-region-constraints [WIP]

Marked as WIP because it invalidates some tests.

6 years agotransition to `Fallible`
Niko Matsakis [Tue, 12 Jun 2018 18:33:12 +0000 (14:33 -0400)]
transition to `Fallible`

6 years agointroduce `Normalizable` trait for things directly normalizable
Niko Matsakis [Mon, 11 Jun 2018 15:56:06 +0000 (11:56 -0400)]
introduce `Normalizable` trait for things directly normalizable

6 years agoconvert `prove_predicate` into a query
Niko Matsakis [Mon, 11 Jun 2018 15:29:46 +0000 (11:29 -0400)]
convert `prove_predicate` into a query

6 years agoconvert `predicates` to operate on 1 predicate at a time
Niko Matsakis [Mon, 11 Jun 2018 15:09:07 +0000 (11:09 -0400)]
convert `predicates` to operate on 1 predicate at a time

6 years agomake `Subtype` a true query
Niko Matsakis [Mon, 11 Jun 2018 14:50:16 +0000 (10:50 -0400)]
make `Subtype` a true query