diff options
| author | Jack Huey <jack.huey@umassmed.edu> | 2020-05-07 17:46:31 -0400 |
|---|---|---|
| committer | Jack Huey <jack.huey@umassmed.edu> | 2020-05-07 17:46:31 -0400 |
| commit | 5fa4c63be034c6229939d78174195bfbc8a524fa (patch) | |
| tree | 97b55983171c81360ae089303487d2c3676a36f9 /src | |
| parent | a24df5b3cdeb49334d6cde1c4d983b2354616824 (diff) | |
| download | rust-5fa4c63be034c6229939d78174195bfbc8a524fa.tar.gz rust-5fa4c63be034c6229939d78174195bfbc8a524fa.zip | |
Fix nit and cargo.lock
Diffstat (limited to 'src')
| -rw-r--r-- | src/librustc_traits/chalk/lowering.rs | 2 | ||||
| -rwxr-xr-x | src/tools/clippy/util/dev | 7 |
2 files changed, 8 insertions, 1 deletions
diff --git a/src/librustc_traits/chalk/lowering.rs b/src/librustc_traits/chalk/lowering.rs index 70aba31a2d3..4dc15a6b2b6 100644 --- a/src/librustc_traits/chalk/lowering.rs +++ b/src/librustc_traits/chalk/lowering.rs @@ -1,6 +1,6 @@ //! Contains the logic to lower rustc types into Chalk types //! -//! In many there is a 1:1 relationship between a rustc type and a Chalk type. +//! In many cases there is a 1:1 relationship between a rustc type and a Chalk type. //! For example, a `SubstsRef` maps almost directly to a `Substitution`. In some //! other cases, such as `Param`s, there is no Chalk type, so we have to handle //! accordingly. diff --git a/src/tools/clippy/util/dev b/src/tools/clippy/util/dev new file mode 100755 index 00000000000..319de217e0d --- /dev/null +++ b/src/tools/clippy/util/dev @@ -0,0 +1,7 @@ +#!/bin/sh +CARGO_TARGET_DIR=$(pwd)/target/ +export CARGO_TARGET_DIR + +echo 'Deprecated! `util/dev` usage is deprecated, please use `cargo dev` instead.' + +cd clippy_dev && cargo run -- "$@" |