directly contain `PredicateAtom` in `PredicateKind::ForAll`

[rust.git] / src / librustc_trait_selection / traits / fulfill.rs

diff --git a/src/librustc_trait_selection/traits/fulfill.rs b/src/librustc_trait_selection/traits/fulfill.rs
index 0f6f362490604c73a4ef519bfe3d96cfc71f342f..c73ed986317c9a7ea551d0c3782ea1b0963ecfd5 100644 (file)
--- a/src/librustc_trait_selection/traits/fulfill.rs
+++ b/src/librustc_trait_selection/traits/fulfill.rs
@@ -6,6 +6,7 @@
 use rustc_infer::traits::{PolyTraitObligation, TraitEngine, TraitEngineExt as _};
 use rustc_middle::mir::interpret::ErrorHandled;
 use rustc_middle::ty::error::ExpectedFound;
+use rustc_middle::ty::ToPredicate;
 use rustc_middle::ty::{self, Binder, Const, Ty, TypeFoldable};
 use std::marker::PhantomData;