]> git.lizzy.rs Git - rust.git/log
rust.git
5 years agoFix test
Yuki Okushi [Fri, 3 May 2019 19:24:32 +0000 (04:24 +0900)]
Fix test

5 years agoMigrate tidy to rust 2018 edition
Alexey Shmalko [Fri, 3 May 2019 19:19:24 +0000 (22:19 +0300)]
Migrate tidy to rust 2018 edition

5 years agoAdd rustfmt toml
Aleksey Kladov [Fri, 3 May 2019 18:35:21 +0000 (21:35 +0300)]
Add rustfmt toml

This commit adds an rustfmt.toml for using for **new** code.
Old code should continut to use old style, until we put automated
style checks in place.

See
https://internals.rust-lang.org/t/running-rustfmt-on-rust-lang-rust-and-other-rust-lang-repositories/8732/81
for the reason why we deviate from the default formatting. The TL;DR
is that currently compiler uses a pretty condensed style of code, and
default settings both create a huge diff and inflate the number of
lines. use_small_heuristics=Max fixes that.

version=Two is required for bug-fixes, which technically can't be made
to the stable first version

5 years agoReword casting message
Esteban Küber [Fri, 3 May 2019 17:41:26 +0000 (10:41 -0700)]
Reword casting message

5 years agoRemove TypeckMir
Yuki Okushi [Fri, 3 May 2019 17:24:42 +0000 (02:24 +0900)]
Remove TypeckMir

5 years agouse span instead of div for since version
Andy Russell [Fri, 3 May 2019 16:55:31 +0000 (12:55 -0400)]
use span instead of div for since version

5 years agoAuto merge of #60510 - Centril:rollup-gsndjbp, r=Centril
bors [Fri, 3 May 2019 15:10:16 +0000 (15:10 +0000)]
Auto merge of #60510 - Centril:rollup-gsndjbp, r=Centril

Rollup of 12 pull requests

Successful merges:

 - #59928 (Make deprecation lint `ambiguous_associated_items` deny-by-default)
 - #60220 (report fatal errors during doctest parsing)
 - #60373 (Tidy: ensure lang features are sorted by since)
 - #60388 (Disallow non-explicit elided lifetimes in async fn)
 - #60393 ( Do not suggest incorrect syntax on pattern type error due to borrow)
 - #60401 (Rename `RUST_LOG` to `RUSTC_LOG`)
 - #60409 (Require a trait in the bounds of existential types)
 - #60455 (Resolve match arm ty when arms diverge)
 - #60457 (Const prop refactoring)
 - #60467 (Avoid repeated interning of static strings.)
 - #60478 (minor compiler doc tweaks)
 - #60501 (Propagate mutability from arguments to local bindings in async fn)

Failed merges:

r? @ghost

5 years agoRollup merge of #60501 - taiki-e:async-await-mutable-arguments, r=cramertj
Mazdak Farrokhzad [Fri, 3 May 2019 14:25:09 +0000 (16:25 +0200)]
Rollup merge of #60501 - taiki-e:async-await-mutable-arguments, r=cramertj

Propagate mutability from arguments to local bindings in async fn

Fixes #60498

cc @nikomatsakis
r? @davidtwco

5 years agoRollup merge of #60478 - euclio:doc-fixes, r=cramertj
Mazdak Farrokhzad [Fri, 3 May 2019 14:25:08 +0000 (16:25 +0200)]
Rollup merge of #60478 - euclio:doc-fixes, r=cramertj

minor compiler doc tweaks

5 years agoRollup merge of #60467 - nnethercote:less-symbol-interning, r=davidtwco
Mazdak Farrokhzad [Fri, 3 May 2019 14:25:06 +0000 (16:25 +0200)]
Rollup merge of #60467 - nnethercote:less-symbol-interning, r=davidtwco

Avoid repeated interning of static strings.

`file_metadata_raw` interns the strings `"<unknown>"` and `""` very
frequently. This commit avoids that, which reduces the number of symbols
interned significantly and reduces instruction counts by up to 0.5% on
some workloads.

5 years agoRollup merge of #60457 - wesleywiser:const_prop_refactoring, r=oli-obk
Mazdak Farrokhzad [Fri, 3 May 2019 14:25:05 +0000 (16:25 +0200)]
Rollup merge of #60457 - wesleywiser:const_prop_refactoring, r=oli-obk

Const prop refactoring

This is rebased on top of #60428 so only the top commit is new.

This is the refactoring to remove the `mir` field from `ConstPropagator` which is necessary before we can begin to actually propagate constants.

r? @oli-obk

5 years agoRollup merge of #60455 - estebank:resolve-match-arm-ty, r=davidtwco
Mazdak Farrokhzad [Fri, 3 May 2019 14:25:04 +0000 (16:25 +0200)]
Rollup merge of #60455 - estebank:resolve-match-arm-ty, r=davidtwco

Resolve match arm ty when arms diverge

Fix #58695.

5 years agoRollup merge of #60409 - JohnTitor:error-for-existential-type, r=oli-obk
Mazdak Farrokhzad [Fri, 3 May 2019 14:25:02 +0000 (16:25 +0200)]
Rollup merge of #60409 - JohnTitor:error-for-existential-type, r=oli-obk

Require a trait in the bounds of existential types

Fixes #53090

r? @oli-obk

5 years agoRollup merge of #60401 - JohnTitor:rename-log, r=davidtwco
Mazdak Farrokhzad [Fri, 3 May 2019 14:25:00 +0000 (16:25 +0200)]
Rollup merge of #60401 - JohnTitor:rename-log, r=davidtwco

Rename `RUST_LOG` to `RUSTC_LOG`

cc: #57985

I think we should also change these submodules:

- rustc-guide
- Cargo (rename to `CARGO_LOG`, cc: https://github.com/rust-lang/cargo/pull/6605, https://github.com/rust-lang/cargo/issues/6189)
- miri
- rls
- rustfmt

r? @davidtwco

5 years agoRollup merge of #60393 - estebank:pat-sugg, r=oli-obk
Mazdak Farrokhzad [Fri, 3 May 2019 14:24:59 +0000 (16:24 +0200)]
Rollup merge of #60393 - estebank:pat-sugg, r=oli-obk

 Do not suggest incorrect syntax on pattern type error due to borrow

Fix #55174.

5 years agoRollup merge of #60388 - cramertj:elided-lifetime-async, r=nikomatsakis
Mazdak Farrokhzad [Fri, 3 May 2019 14:24:57 +0000 (16:24 +0200)]
Rollup merge of #60388 - cramertj:elided-lifetime-async, r=nikomatsakis

Disallow non-explicit elided lifetimes in async fn

Fix https://github.com/rust-lang/rust/issues/60203

r? @nikomatsakis

5 years agoRollup merge of #60373 - rasendubi:lang-features-sort-since, r=Centril
Mazdak Farrokhzad [Fri, 3 May 2019 14:24:56 +0000 (16:24 +0200)]
Rollup merge of #60373 - rasendubi:lang-features-sort-since, r=Centril

Tidy: ensure lang features are sorted by since

This is the tidy side of https://github.com/rust-lang/rust/issues/60361.

What is left is actually splitting features into groups and sorting by since.

This PR also likely to produce a small (a couple of lines) merge conflict with https://github.com/rust-lang/rust/pull/60362.

r? @Centril

5 years agoRollup merge of #60220 - euclio:rustdoc-test-fatal-parsing-errors, r=QuietMisdreavus
Mazdak Farrokhzad [Fri, 3 May 2019 14:24:54 +0000 (16:24 +0200)]
Rollup merge of #60220 - euclio:rustdoc-test-fatal-parsing-errors, r=QuietMisdreavus

report fatal errors during doctest parsing

Fixes #59557.

5 years agoRollup merge of #59928 - petrochenkov:denyambass, r=varkor
Mazdak Farrokhzad [Fri, 3 May 2019 14:24:52 +0000 (16:24 +0200)]
Rollup merge of #59928 - petrochenkov:denyambass, r=varkor

Make deprecation lint `ambiguous_associated_items` deny-by-default

As requested by r? @Centril

cc https://github.com/rust-lang/rust/issues/57644

5 years agoAuto merge of #60423 - varkor:update-getopts, r=alexcrichton
bors [Fri, 3 May 2019 10:15:48 +0000 (10:15 +0000)]
Auto merge of #60423 - varkor:update-getopts, r=alexcrichton

Update getopts

This is a prerequisite to fixing https://github.com/rust-lang/rust/issues/32352. The rustbuild fix has been pulled out of https://github.com/rust-lang/rust/pull/59440.

r? @alexcrichton

5 years agoAuto merge of #59883 - ebarnard:clonefile, r=sfackler
bors [Fri, 3 May 2019 07:26:46 +0000 (07:26 +0000)]
Auto merge of #59883 - ebarnard:clonefile, r=sfackler

Make `std::fs::copy` attempt to create copy-on-write clones of files on MacOS

The behaviour of MacOS now matches Linux which uses `copy_file_range` to perform CoW file copies where available and supported by the underlying filesystem.

5 years agoUpdate tests
Christopher Vittal [Thu, 2 May 2019 22:34:15 +0000 (18:34 -0400)]
Update tests

5 years agoPropagate mutability from arguments to local bindings in async fn
Taiki Endo [Fri, 3 May 2019 04:04:26 +0000 (13:04 +0900)]
Propagate mutability from arguments to local bindings in async fn

5 years agoFix potential integer overflow in SGX memory range calculation.
Jethro Beekman [Fri, 3 May 2019 01:15:44 +0000 (18:15 -0700)]
Fix potential integer overflow in SGX memory range calculation.

Thanks to Eduard Marin and David Oswald at the University of Burmingham,
and Jo Van Bulck at KU Leuven for discovering this issue.

5 years agoImplement base_local iteratively
Santiago Pastorino [Wed, 1 May 2019 23:07:44 +0000 (01:07 +0200)]
Implement base_local iteratively

5 years agoRemove root_local fn in favor of base_local
Santiago Pastorino [Wed, 1 May 2019 23:07:28 +0000 (01:07 +0200)]
Remove root_local fn in favor of base_local

5 years agoThis continue is not needed
Santiago Pastorino [Fri, 26 Apr 2019 20:18:59 +0000 (22:18 +0200)]
This continue is not needed

5 years agoUpdate getopts to 0.2.18
varkor [Tue, 30 Apr 2019 19:37:36 +0000 (20:37 +0100)]
Update getopts to 0.2.18

This is a proof-of-concept that the dependency unification fix works.

5 years agoPrevent dependencies between std/test/rustc unifying with each other
varkor [Tue, 30 Apr 2019 19:37:05 +0000 (20:37 +0100)]
Prevent dependencies between std/test/rustc unifying with each other

5 years agomention `hir::Body` in docs for `hir::FnDecl`
Andy Russell [Thu, 2 May 2019 18:03:33 +0000 (14:03 -0400)]
mention `hir::Body` in docs for `hir::FnDecl`

5 years agofix markdown syntax in `LateContext` examples
Andy Russell [Thu, 2 May 2019 16:33:59 +0000 (12:33 -0400)]
fix markdown syntax in `LateContext` examples

5 years agoStub display impl for Origin
Christopher Vittal [Mon, 25 Mar 2019 13:16:12 +0000 (09:16 -0400)]
Stub display impl for Origin

5 years agoRemove BorrowckMode::Compare
Christopher Vittal [Mon, 25 Mar 2019 08:09:52 +0000 (04:09 -0400)]
Remove BorrowckMode::Compare

5 years agodon't amplify errors in format! with bad literals
Aleksey Kladov [Thu, 2 May 2019 17:56:07 +0000 (20:56 +0300)]
don't amplify errors in format! with bad literals

5 years agoConstrain all regions in the concrete type for an opaque type
Matthew Jasper [Wed, 1 May 2019 20:15:01 +0000 (21:15 +0100)]
Constrain all regions in the concrete type for an opaque type

5 years agoAuto merge of #60173 - RalfJung:miri, r=oli-obk
bors [Thu, 2 May 2019 17:43:46 +0000 (17:43 +0000)]
Auto merge of #60173 - RalfJung:miri, r=oli-obk

update miri

r? @oli-obk

5 years agobuild dist-aarch64-linux with --enable-profiler
Nathan Froyd [Thu, 2 May 2019 16:09:46 +0000 (12:09 -0400)]
build dist-aarch64-linux with --enable-profiler

This change should enable PGO to be used for aarch64-linux.

Fixes #57257.

5 years agoMake tidy::version::Version copy
Alexey Shmalko [Thu, 2 May 2019 11:38:16 +0000 (14:38 +0300)]
Make tidy::version::Version copy

5 years agoMake in_feature_group a simple bool flag
Alexey Shmalko [Thu, 2 May 2019 11:30:30 +0000 (14:30 +0300)]
Make in_feature_group a simple bool flag

5 years agoRework Version::parse to avoid extra allocations
Alexey Shmalko [Wed, 1 May 2019 21:52:44 +0000 (00:52 +0300)]
Rework Version::parse to avoid extra allocations

5 years agoGroup and sort feature_gate.rs
Alexey Shmalko [Wed, 1 May 2019 19:42:57 +0000 (22:42 +0300)]
Group and sort feature_gate.rs

5 years agoMake tidy::version::Version a [u32; 3]
Alexey Shmalko [Wed, 1 May 2019 19:15:00 +0000 (22:15 +0300)]
Make tidy::version::Version a [u32; 3]

5 years agoAddress review comments
Alexey Shmalko [Wed, 1 May 2019 19:01:01 +0000 (22:01 +0300)]
Address review comments

5 years agoEnsure language features in group are sorted by since
Alexey Shmalko [Mon, 29 Apr 2019 17:51:19 +0000 (20:51 +0300)]
Ensure language features in group are sorted by since

5 years agoAssign group and parse since for Feature
Alexey Shmalko [Mon, 29 Apr 2019 17:39:55 +0000 (20:39 +0300)]
Assign group and parse since for Feature

5 years agoMake find_attr_val a little bit more precise
Alexey Shmalko [Mon, 29 Apr 2019 17:01:46 +0000 (20:01 +0300)]
Make find_attr_val a little bit more precise

`find_attr_val(&line, "since")` returns `Some(", issue = ")` when
`line` is set to the following line:

```
[unstable(feature = "checked_duration_since", issue = "58402")]
```

Make `find_attr_val` use regex that is a little bit more
precise (requires `=` after key name).

It still does not handle all cases (e.g., extra leading chars in key
name, or escaped quotes in value), but is good enough for now.

5 years agoAuto merge of #60379 - froydnj:bootstrap-progress-fixes, r=kennytm
bors [Thu, 2 May 2019 13:26:52 +0000 (13:26 +0000)]
Auto merge of #60379 - froydnj:bootstrap-progress-fixes, r=kennytm

intelligently handle older version of git in bootstrap

If we fail to run with `--progress`, try running without instead.

Fixes #57080.

5 years agoFix failing test
Wesley Wiser [Thu, 2 May 2019 12:48:08 +0000 (08:48 -0400)]
Fix failing test

5 years agointroduce unescape module
Aleksey Kladov [Thu, 25 Apr 2019 08:48:25 +0000 (11:48 +0300)]
introduce unescape module

Currently, we deal with escape sequences twice: once when we lex a
string, and a second time when we unescape literals. This PR aims to
remove this duplication, by introducing a new `unescape` mode as a
single source of truth for character escaping rules

5 years agoRemove the `self.mir` field from `ConstPropagator`
Wesley Wiser [Mon, 29 Apr 2019 22:32:35 +0000 (18:32 -0400)]
Remove the `self.mir` field from `ConstPropagator`

5 years agoAvoid repeated interning of static strings.
Nicholas Nethercote [Thu, 2 May 2019 10:34:26 +0000 (20:34 +1000)]
Avoid repeated interning of static strings.

`file_metadata_raw` interns the strings `"<unknown>"` and `""` very
frequently. This commit avoids that, which reduces the number of symbols
interned significantly and reduces instruction counts by up to 0.5% on
some workloads.

5 years agoUpdate Cargo
Igor Matuszewski [Thu, 2 May 2019 09:51:23 +0000 (11:51 +0200)]
Update Cargo

Align with the version bump in https://github.com/rust-lang/rls/pull/1448

5 years agoMake `std::fs::copy` attempt to create copy-on-write clones of files on MacOS.
Edward Barnard [Thu, 11 Apr 2019 15:02:13 +0000 (16:02 +0100)]
Make `std::fs::copy` attempt to create copy-on-write clones of files on MacOS.

5 years agoupdate miri
Ralf Jung [Thu, 2 May 2019 07:35:47 +0000 (09:35 +0200)]
update miri

5 years agoAuto merge of #60156 - RalfJung:macos-rand, r=oli-obk,alexcrichton
bors [Thu, 2 May 2019 07:38:36 +0000 (07:38 +0000)]
Auto merge of #60156 - RalfJung:macos-rand, r=oli-obk,alexcrichton

use SecRandomCopyBytes on macOS in Miri

This is a hack to fix https://github.com/rust-lang/miri/issues/686: on macOS, rustc will open `/dev/urandom` to initialize a `HashMap`. That's quite hard to emulate properly in Miri without a full-blown implementation of file descriptors.  However, Miri needs an implementation of `SecRandomCopyBytes` anyway to support [getrandom](https://crates.io/crates/getrandom), so using it here should work just as well.

This will only have an effect when libstd is compiled specifically for Miri, but that will generally be the case when people use `cargo miri`.

This is clearly a hack, so I am opening this to start a discussion about whether we are okay with such a hack or not.

Cc @oli-obk

5 years agoAuto merge of #59008 - varkor:const-generics-infer, r=eddyb
bors [Thu, 2 May 2019 04:47:36 +0000 (04:47 +0000)]
Auto merge of #59008 - varkor:const-generics-infer, r=eddyb

Add const generics to infer (and transitive dependencies)

Split out from #53645. This work is a collaborative effort with @yodaldevoid.

There are a number of stubs. These are mainly to ensure we don't overlook them when completing the implementation, but are not necessary for the initial implementation. We plan to address these in follow up PRs.

r? @eddyb / @nikomatsakis

5 years agoAuto merge of #60460 - Centril:rollup-gz5bc8i, r=Centril
bors [Thu, 2 May 2019 02:01:31 +0000 (02:01 +0000)]
Auto merge of #60460 - Centril:rollup-gz5bc8i, r=Centril

Rollup of 7 pull requests

Successful merges:

 - #59634 (Added an explanation for the E0704 error.)
 - #60348 (move some functions from parser.rs to diagostics.rs)
 - #60385 (Emit metadata files earlier)
 - #60428 (Refactor `eval_body_using_ecx` so that it doesn't need to query for MIR)
 - #60437 (Ensure that drop order of `async fn` matches `fn` and that users cannot refer to generated arguments.)
 - #60439 (doc: Warn about possible zombie apocalypse)
 - #60452 (Remove Context and ContextKind)

Failed merges:

r? @ghost

5 years agoDisallow non-explicit elided lifetimes in async fn
Taylor Cramer [Tue, 30 Apr 2019 00:45:22 +0000 (17:45 -0700)]
Disallow non-explicit elided lifetimes in async fn

5 years agoRollup merge of #60452 - JohnTitor:remove-context, r=matthewjasper
Mazdak Farrokhzad [Wed, 1 May 2019 23:09:32 +0000 (01:09 +0200)]
Rollup merge of #60452 - JohnTitor:remove-context, r=matthewjasper

Remove Context and ContextKind

Fixes #60421

r? @matthewjasper

5 years agoRollup merge of #60439 - vorner:zombie-apocalypse-warn, r=TimNN
Mazdak Farrokhzad [Wed, 1 May 2019 23:09:31 +0000 (01:09 +0200)]
Rollup merge of #60439 - vorner:zombie-apocalypse-warn, r=TimNN

doc: Warn about possible zombie apocalypse

Extend the std::process::Child docs with warning about possible zombies.
The previous version mentioned that when dropping the Child, the
process is not killed. However, the wording gave the impression that
such behaviour is fine to do (leaving the reader believe low-level
details like reaping zombies of the dead processes is taken over by std
somehow; or simply leaving the reader unaware about the problem).

5 years agoRollup merge of #60437 - davidtwco:issue-60236, r=nikomatsakis
Mazdak Farrokhzad [Wed, 1 May 2019 23:09:29 +0000 (01:09 +0200)]
Rollup merge of #60437 - davidtwco:issue-60236, r=nikomatsakis

Ensure that drop order of `async fn` matches `fn` and that users cannot refer to generated arguments.

Fixes #60236 and fixes #60438.

This PR modifies the lowering of `async fn` arguments so that the
drop order matches the equivalent `fn`.

Previously, async function arguments were lowered as shown below:

    async fn foo(<pattern>: <ty>) {
      async move {
      }
    } // <-- dropped as you "exit" the fn

    // ...becomes...
    fn foo(__arg0: <ty>) {
      async move {
        let <pattern> = __arg0;
      } // <-- dropped as you "exit" the async block
    }

After this PR, async function arguments will be lowered as:

    async fn foo(<pattern>: <ty>, <pattern>: <ty>, <pattern>: <ty>) {
      async move {
      }
    } // <-- dropped as you "exit" the fn

    // ...becomes...
    fn foo(__arg0: <ty>, __arg1: <ty>, __arg2: <ty>) {
      async move {
        let __arg2 = __arg2;
        let <pattern> = __arg2;
        let __arg1 = __arg1;
        let <pattern> = __arg1;
        let __arg0 = __arg0;
        let <pattern> = __arg0;
      } // <-- dropped as you "exit" the async block
    }

If `<pattern>` is a simple ident, then it is lowered to a single
`let <pattern> = <pattern>;` statement as an optimization.

This PR also stops users from referring to the generated `__argN`
identifiers.

r? @nikomatsakis

5 years agoRollup merge of #60428 - wesleywiser:refactor_const_eval, r=oli-obk
Mazdak Farrokhzad [Wed, 1 May 2019 23:09:28 +0000 (01:09 +0200)]
Rollup merge of #60428 - wesleywiser:refactor_const_eval, r=oli-obk

Refactor `eval_body_using_ecx` so that it doesn't need to query for MIR

This is the first step toward removing the `mir` field of `ConstPropagator` which will eventually allow us to actually const propagate in MIR.

r? @oli-obk

5 years agoRollup merge of #60385 - nnethercote:earlier-metadata, r=alexcrichton
Mazdak Farrokhzad [Wed, 1 May 2019 23:09:26 +0000 (01:09 +0200)]
Rollup merge of #60385 - nnethercote:earlier-metadata, r=alexcrichton

Emit metadata files earlier

This will make cargo pipelining much more effective.

5 years agoRollup merge of #60348 - agnxy:refactor-parser, r=petrochenkov
Mazdak Farrokhzad [Wed, 1 May 2019 23:09:25 +0000 (01:09 +0200)]
Rollup merge of #60348 - agnxy:refactor-parser, r=petrochenkov

move some functions from parser.rs to diagostics.rs

Starting with a few functions mentioned in https://github.com/rust-lang/rust/issues/60015#issuecomment-484259773. We might refactor parser.rs further in subsequent changes.
r? @petrochenkov

5 years agoRollup merge of #59634 - DevQps:explain-E0704, r=estebank
Mazdak Farrokhzad [Wed, 1 May 2019 23:09:23 +0000 (01:09 +0200)]
Rollup merge of #59634 - DevQps:explain-E0704, r=estebank

Added an explanation for the E0704 error.

# Description
Adds an explanation on the E0704 error. I tried to stick as closely to the message that the compiler generates. It's the first time I am fixing error messages here, so if there is something I did wrong or should improve, please let me know.

closes #55398

5 years agoAuto merge of #60432 - Manishearth:clippyup, r=Manishearth
bors [Wed, 1 May 2019 23:00:14 +0000 (23:00 +0000)]
Auto merge of #60432 - Manishearth:clippyup, r=Manishearth

Update clippy

r? @ghost

5 years agoUpdate clippy
Manish Goregaokar [Wed, 1 May 2019 22:24:52 +0000 (15:24 -0700)]
Update clippy

5 years agoRemove Context and ContextKind
Yuki Okushi [Wed, 1 May 2019 21:03:17 +0000 (06:03 +0900)]
Remove Context and ContextKind

5 years agoSplit `ct_err` out into `CommonConsts`
varkor [Wed, 1 May 2019 22:09:53 +0000 (23:09 +0100)]
Split `ct_err` out into `CommonConsts`

Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
5 years agoCreate ShallowResolver
varkor [Tue, 30 Apr 2019 21:27:33 +0000 (22:27 +0100)]
Create ShallowResolver

Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
5 years agoAdd a test for const args that cannot be inferred
varkor [Tue, 23 Apr 2019 12:20:22 +0000 (13:20 +0100)]
Add a test for const args that cannot be inferred

Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
5 years agoAdd a test for incorrect numbers of const args
varkor [Tue, 23 Apr 2019 12:20:04 +0000 (13:20 +0100)]
Add a test for incorrect numbers of const args

5 years agoFold const in writeback
varkor [Tue, 23 Apr 2019 12:18:11 +0000 (13:18 +0100)]
Fold const in writeback

5 years agoAdd a test for const arguments
varkor [Mon, 22 Apr 2019 23:03:14 +0000 (00:03 +0100)]
Add a test for const arguments

5 years agoFix issue with const params in operand.rs
varkor [Mon, 22 Apr 2019 23:03:00 +0000 (00:03 +0100)]
Fix issue with const params in operand.rs

5 years agoResolve FIXME in probe.rs
varkor [Mon, 22 Apr 2019 22:15:52 +0000 (23:15 +0100)]
Resolve FIXME in probe.rs

5 years agoCorrect name of constrained_generic_params alias
varkor [Mon, 22 Apr 2019 22:07:09 +0000 (23:07 +0100)]
Correct name of constrained_generic_params alias

5 years agoFix unused variable warning
varkor [Wed, 17 Apr 2019 22:14:32 +0000 (23:14 +0100)]
Fix unused variable warning

5 years agoFix known-known const unification case
varkor [Wed, 17 Apr 2019 21:53:23 +0000 (22:53 +0100)]
Fix known-known const unification case

5 years agoRemove spurious assertion
varkor [Wed, 17 Apr 2019 21:48:57 +0000 (22:48 +0100)]
Remove spurious assertion

5 years agoAdd `const-types` test
varkor [Wed, 17 Apr 2019 18:31:04 +0000 (19:31 +0100)]
Add `const-types` test

5 years agoFix rebase issue
varkor [Wed, 17 Apr 2019 18:18:12 +0000 (19:18 +0100)]
Fix rebase issue

5 years agoImplement const generics for `InferenceFudger`
varkor [Wed, 27 Mar 2019 17:50:49 +0000 (17:50 +0000)]
Implement const generics for `InferenceFudger`

5 years agoFix missing parenthesis
varkor [Mon, 18 Mar 2019 21:40:45 +0000 (21:40 +0000)]
Fix missing parenthesis

5 years agoTake ConstValue::Placeholder into account in new locations
varkor [Mon, 18 Mar 2019 21:00:52 +0000 (21:00 +0000)]
Take ConstValue::Placeholder into account in new locations

5 years agoFix rebase from LazyConst removal
varkor [Mon, 18 Mar 2019 20:55:19 +0000 (20:55 +0000)]
Fix rebase from LazyConst removal

5 years agoReplace ConstVariableTable with UnificationTable
varkor [Wed, 13 Mar 2019 15:19:35 +0000 (15:19 +0000)]
Replace ConstVariableTable with UnificationTable

5 years agoHandle `ConstValue::Placeholder` in `canonicalizer`
varkor [Tue, 12 Mar 2019 20:55:19 +0000 (20:55 +0000)]
Handle `ConstValue::Placeholder` in `canonicalizer`

5 years agoAdd `PlaceholderConst`
varkor [Tue, 12 Mar 2019 20:26:16 +0000 (20:26 +0000)]
Add `PlaceholderConst`

5 years agoAdd `ConstValue::Placeholder`
varkor [Tue, 12 Mar 2019 20:25:41 +0000 (20:25 +0000)]
Add `ConstValue::Placeholder`

5 years agoInline ConstError into TypeError
varkor [Tue, 12 Mar 2019 19:27:06 +0000 (19:27 +0000)]
Inline ConstError into TypeError

5 years agoImplement fold_const for BoundVarReplacer
varkor [Sat, 9 Mar 2019 16:54:50 +0000 (16:54 +0000)]
Implement fold_const for BoundVarReplacer

5 years agoimpl fold_const for Shifter
Gabriel Smith [Fri, 1 Mar 2019 06:16:04 +0000 (01:16 -0500)]
impl fold_const for Shifter

Signed-off-by: Gabriel Smith <ga29smith@gmail.com>
5 years agoimpl visit_const for HasEscapingVarsVisitor
Gabriel Smith [Fri, 1 Mar 2019 04:09:44 +0000 (23:09 -0500)]
impl visit_const for HasEscapingVarsVisitor

Signed-off-by: Gabriel Smith <ga29smith@gmail.com>
5 years agoimpl fold_const for TypeFreshener
Gabriel Smith [Fri, 1 Mar 2019 04:05:47 +0000 (23:05 -0500)]
impl fold_const for TypeFreshener

Signed-off-by: Gabriel Smith <ga29smith@gmail.com>
5 years agoimpl mk_const_infer
Gabriel Smith [Fri, 1 Mar 2019 04:03:37 +0000 (23:03 -0500)]
impl mk_const_infer

Signed-off-by: Gabriel Smith <ga29smith@gmail.com>
5 years agoRename mk_infer to mk_ty_infer
Gabriel Smith [Fri, 1 Mar 2019 04:02:32 +0000 (23:02 -0500)]
Rename mk_infer to mk_ty_infer

Signed-off-by: Gabriel Smith <ga29smith@gmail.com>
5 years agoimpl fold_const for RegionFudger
Gabriel Smith [Fri, 1 Mar 2019 03:52:13 +0000 (22:52 -0500)]
impl fold_const for RegionFudger

Signed-off-by: Gabriel Smith <ga29smith@gmail.com>
5 years agoRemove `fold_const` override for `ReverseMapper`
varkor [Fri, 8 Mar 2019 01:25:57 +0000 (01:25 +0000)]
Remove `fold_const` override for `ReverseMapper`

Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
5 years agoRename *shallow_resolve to *shallow_resolve_type
varkor [Fri, 8 Mar 2019 01:21:19 +0000 (01:21 +0000)]
Rename *shallow_resolve to *shallow_resolve_type

Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>