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_trait_selection/src/solve/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_trait_selection/src/solve/mod.rs')
| -rw-r--r-- | compiler/rustc_trait_selection/src/solve/mod.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/rustc_trait_selection/src/solve/mod.rs b/compiler/rustc_trait_selection/src/solve/mod.rs index 540ab738a22..5a3c960d72d 100644 --- a/compiler/rustc_trait_selection/src/solve/mod.rs +++ b/compiler/rustc_trait_selection/src/solve/mod.rs @@ -20,11 +20,11 @@ use rustc_macros::extension; use rustc_middle::bug; use rustc_middle::infer::canonical::CanonicalVarInfos; use rustc_middle::traits::solve::{ - CanonicalResponse, Certainty, ExternalConstraintsData, GoalSource, QueryResult, Response, + CanonicalResponse, Certainty, ExternalConstraintsData, Goal, GoalSource, QueryResult, Response, }; use rustc_middle::ty::{ - self, AliasRelationDirection, CoercePredicate, Goal, RegionOutlivesPredicate, SubtypePredicate, - Ty, TyCtxt, TypeOutlivesPredicate, UniverseIndex, + self, AliasRelationDirection, CoercePredicate, RegionOutlivesPredicate, SubtypePredicate, Ty, + TyCtxt, TypeOutlivesPredicate, UniverseIndex, }; mod alias_relate; |