diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-09-20 20:25:09 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-09-20 20:25:09 +0100 |
| commit | e70cf706bb7c6c07e8c33b537ad24e5333aa5e75 (patch) | |
| tree | 99290eb9584d766851b6a07f472ca6256bdb9ee9 /crates/hir_ty/src/traits/chalk/mapping.rs | |
| parent | 59f9fc4cd10b22b887ae42f12cc886793f0b061b (diff) | |
| parent | 38f1ce633d78289c71e0f860d82fda5a62db8f7b (diff) | |
Merge #6018
6018: Correct project_root path for ProjectJson. r=jonas-schievink a=woody77
It was already the folder containing the rust-project.json file, not the file itself. This also removes the Option-ness of it, since it's now an infallible operation to set the member value.
Co-authored-by: Aaron Wood <[email protected]>
Diffstat (limited to 'crates/hir_ty/src/traits/chalk/mapping.rs')
0 files changed, 0 insertions, 0 deletions