--- iterator_facade.hpp.~1.13.~	2004-01-06 23:58:37.676107200 -0500
+++ iterator_facade.hpp	2004-01-07 14:10:33.737393600 -0500
@@ -384,16 +384,10 @@
           >::make(*this->derived());
       }
         
-      typename detail::operator_brackets_result<Derived,Value,Reference>::type
+      detail::operator_brackets_proxy<Derived>
       operator[](difference_type n) const
       {
-          typedef detail::iterator_writability_disabled<Value,Reference>
-              not_writable;
-          
-          return detail::make_operator_brackets_result<Derived>(
-              this->derived() + n
-            , not_writable()
-          );
+          detail::operator_brackets_proxy<Derived>(this->derived() + n);
       }
 
       Derived& operator++()