Permit mutables as comparable in all contexts.

This commit is contained in:
Graydon Hoare 2010-07-02 12:52:58 -07:00
parent f955d06ca9
commit f522605f6b

View file

@ -369,7 +369,7 @@ let process_crate (cx:ctxt) (crate:Ast.crate) : unit =
| Ast.TY_constrained (ty, _) ->
is_comparable_or_ordered comparable ty
| Ast.TY_mutable ty ->
ucx.mut_ok && is_comparable_or_ordered comparable ty
is_comparable_or_ordered comparable ty
| Ast.TY_box ty ->
ucx.box_ok && is_comparable_or_ordered comparable ty
in