Improve function name.

[rust.git] / src / librustc_traits / lowering.rs

diff --git a/src/librustc_traits/lowering.rs b/src/librustc_traits/lowering.rs
index b418a0aca9a3a0c28dff3a47033b2c2618b2c9f8..cbb02e98c3cd1f92b6ca5390c3817ee6baea265c 100644 (file)
--- a/src/librustc_traits/lowering.rs
+++ b/src/librustc_traits/lowering.rs
@@ -127,7 +127,7 @@ fn into_from_env_goal(self) -> DomainGoal<'tcx> {
         }
         hir::map::Node::NodeImplItem(item) => {
             if let hir::ImplItemKind::Type(..) = item.node {
-                program_clauses_for_associated_type(tcx, def_id)
+                program_clauses_for_associated_type_value(tcx, def_id)
             } else {
                 Lrc::new(vec![])
             }
@@ -243,8 +243,10 @@ fn program_clauses_for_impl<'a, 'tcx>(tcx: TyCtxt<'a, 'tcx, 'tcx>, def_id: DefId
     Lrc::new(tcx.mk_clauses(iter::once(Clause::ForAll(ty::Binder::dummy(clause)))))
 }
 
-pub fn program_clauses_for_associated_type<'a, 'tcx>(tcx: TyCtxt<'a, 'tcx, 'tcx>, item_id: DefId)
-    -> Lrc<Vec<Clause<'tcx>>> {
+pub fn program_clauses_for_associated_type_value<'a, 'tcx>(
+    tcx: TyCtxt<'a, 'tcx, 'tcx>,
+    item_id: DefId,
+) -> Lrc<Vec<Clause<'tcx>>> {
     // Rule Normalize-From-Impl (see rustc guide)
     //
     // ```impl<P0..Pn> Trait<A1..An> for A0