diff options
| author | Philipp Krones <hello@philkrones.com> | 2023-01-12 19:12:06 +0100 |
|---|---|---|
| committer | Philipp Krones <hello@philkrones.com> | 2023-01-12 19:12:06 +0100 |
| commit | cd76d574e444197d692d8652c27f869038430af1 (patch) | |
| tree | fb6c63214ef9871d31f5f00c6280633086d776b0 | |
| parent | 616b6d2be13092b53b83cd4e53e5e88f310a86fc (diff) | |
Also add rustc_driver to clippy_utils
I'm not sure why this is necessary. It worked without this for me locally, but this fails in CI. The same was done in clippy_dev
| -rw-r--r-- | clippy_utils/src/lib.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/clippy_utils/src/lib.rs b/clippy_utils/src/lib.rs index 991be9727c2..7a4a9036dd3 100644 --- a/clippy_utils/src/lib.rs +++ b/clippy_utils/src/lib.rs @@ -22,6 +22,9 @@ extern crate rustc_ast; extern crate rustc_ast_pretty; extern crate rustc_attr; extern crate rustc_data_structures; +// The `rustc_driver` crate seems to be required in order to use the `rust_ast` crate. +#[allow(unused_extern_crates)] +extern crate rustc_driver; extern crate rustc_errors; extern crate rustc_hir; extern crate rustc_hir_typeck; |
