diff options
author | Florian Diebold <[email protected]> | 2021-03-15 20:02:34 +0000 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2021-03-16 16:58:17 +0000 |
commit | ce2cae45b5242d59b744018dd79bc2ab74670edc (patch) | |
tree | dc4ed41e25efae7b6f76fcf18b6b6eb68170e7a9 /crates/hir_ty/src/traits.rs | |
parent | 00c80b208bcbe52b13bbd03cb62e24b2d2075edf (diff) |
Rename Substs -> Substitution
Diffstat (limited to 'crates/hir_ty/src/traits.rs')
-rw-r--r-- | crates/hir_ty/src/traits.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/crates/hir_ty/src/traits.rs b/crates/hir_ty/src/traits.rs index a6a63c673..40eb1034e 100644 --- a/crates/hir_ty/src/traits.rs +++ b/crates/hir_ty/src/traits.rs | |||
@@ -8,7 +8,7 @@ use chalk_solve::{logging_db::LoggingRustIrDatabase, Solver}; | |||
8 | use hir_def::{lang_item::LangItemTarget, TraitId}; | 8 | use hir_def::{lang_item::LangItemTarget, TraitId}; |
9 | use stdx::panic_context; | 9 | use stdx::panic_context; |
10 | 10 | ||
11 | use crate::{db::HirDatabase, DebruijnIndex, Substs}; | 11 | use crate::{db::HirDatabase, DebruijnIndex, Substitution}; |
12 | 12 | ||
13 | use super::{ | 13 | use super::{ |
14 | Canonical, GenericPredicate, HirDisplay, ProjectionTy, TraitRef, Ty, TyKind, TypeWalk, | 14 | Canonical, GenericPredicate, HirDisplay, ProjectionTy, TraitRef, Ty, TyKind, TypeWalk, |
@@ -252,7 +252,7 @@ fn solution_from_chalk( | |||
252 | } | 252 | } |
253 | 253 | ||
254 | #[derive(Clone, Debug, PartialEq, Eq)] | 254 | #[derive(Clone, Debug, PartialEq, Eq)] |
255 | pub struct SolutionVariables(pub Canonical<Substs>); | 255 | pub struct SolutionVariables(pub Canonical<Substitution>); |
256 | 256 | ||
257 | #[derive(Clone, Debug, PartialEq, Eq)] | 257 | #[derive(Clone, Debug, PartialEq, Eq)] |
258 | /// A (possible) solution for a proposed goal. | 258 | /// A (possible) solution for a proposed goal. |