@@ -720,12 +720,9 @@ elabClause info opts (cnum, PClause fc fname lhs_in_as withs rhs_in_as wherebloc
720720 [] (constraintNS info) fc id [] lhs_tm
721721 else return (lhs_tm, lhs_ty)
722722 let clhs = normalise ctxt [] clhs_c
723− let borrowed = borrowedNames [] clhs
724−
725723 -- These are the names we're not allowed to use on the RHS, because
726724 -- they're UniqueTypes and borrowed from another function.
727− when (not (null borrowed)) $
728− logElab 5 ("Borrowed names on LHS: " ++ show borrowed)
725+ let borrowed = borrowedNames [] clhs
729726
730727 logElab 3 ("Normalised LHS: " ++ showTmImpls (delabMV i clhs))
731728