diff options
| author | Michael Goulet <michael@errs.io> | 2024-05-15 22:37:42 -0400 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-05-18 16:21:43 -0400 |
| commit | 05e0f8740aacd7de77d515598da1f21a5c67866e (patch) | |
| tree | ee533eaa1a70fe7e4e80093c57279083dc603269 /compiler/rustc_infer/src/traits/mod.rs | |
| parent | c00957a3e269219413041a4e3565f33b1f9d0779 (diff) | |
| download | rust-05e0f8740aacd7de77d515598da1f21a5c67866e.tar.gz rust-05e0f8740aacd7de77d515598da1f21a5c67866e.zip | |
Uplift GenericArgKind, CanonicalVarValues, QueryInput
and make NestedGoals generic
Diffstat (limited to 'compiler/rustc_infer/src/traits/mod.rs')
| -rw-r--r-- | compiler/rustc_infer/src/traits/mod.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/rustc_infer/src/traits/mod.rs b/compiler/rustc_infer/src/traits/mod.rs index d5def46ad3a..0ae4340098b 100644 --- a/compiler/rustc_infer/src/traits/mod.rs +++ b/compiler/rustc_infer/src/traits/mod.rs @@ -78,9 +78,9 @@ impl<T: Hash> Hash for Obligation<'_, T> { } } -impl<'tcx, P> From<Obligation<'tcx, P>> for ty::Goal<'tcx, P> { +impl<'tcx, P> From<Obligation<'tcx, P>> for solve::Goal<'tcx, P> { fn from(value: Obligation<'tcx, P>) -> Self { - ty::Goal { param_env: value.param_env, predicate: value.predicate } + solve::Goal { param_env: value.param_env, predicate: value.predicate } } } |