diff options
| author | Michael Goulet <michael@errs.io> | 2024-05-15 21:57:41 -0400 | 
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-05-16 14:24:22 -0400 | 
| commit | 138881b315e41ccadaa5a64df6793cf9f05b542f (patch) | |
| tree | 4da78fb053524bf6153feec5bcb94b02ec1692bb /compiler/rustc_trait_selection/src/solve/mod.rs | |
| parent | 26846556021a9800d35bdb1de4d6d3b988c6d22f (diff) | |
| download | rust-138881b315e41ccadaa5a64df6793cf9f05b542f.tar.gz rust-138881b315e41ccadaa5a64df6793cf9f05b542f.zip | |
Uplift Goal to rustc_type_ir
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 6c912db975a..540ab738a22 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, Goal, GoalSource, QueryResult, Response, + CanonicalResponse, Certainty, ExternalConstraintsData, GoalSource, QueryResult, Response, }; -use rustc_middle::ty::{self, AliasRelationDirection, Ty, TyCtxt, UniverseIndex}; use rustc_middle::ty::{ - CoercePredicate, RegionOutlivesPredicate, SubtypePredicate, TypeOutlivesPredicate, + self, AliasRelationDirection, CoercePredicate, Goal, RegionOutlivesPredicate, SubtypePredicate, + Ty, TyCtxt, TypeOutlivesPredicate, UniverseIndex, }; mod alias_relate; | 
