@@ -326,6 +326,7 @@ pub struct RestrictionSet {
326
326
bits : u32
327
327
}
328
328
329
+ #[ allow( dead_code) ] // potentially useful
329
330
pub static RESTR_EMPTY : RestrictionSet = RestrictionSet { bits : 0b0000 } ;
330
331
pub static RESTR_MUTATE : RestrictionSet = RestrictionSet { bits : 0b0001 } ;
331
332
pub static RESTR_FREEZE : RestrictionSet = RestrictionSet { bits : 0b0010 } ;
@@ -334,10 +335,6 @@ impl RestrictionSet {
334
335
pub fn intersects ( & self , restr : RestrictionSet ) -> bool {
335
336
( self . bits & restr. bits ) != 0
336
337
}
337
-
338
- pub fn contains_all ( & self , restr : RestrictionSet ) -> bool {
339
- ( self . bits & restr. bits ) == restr. bits
340
- }
341
338
}
342
339
343
340
impl BitOr < RestrictionSet , RestrictionSet > for RestrictionSet {
@@ -862,17 +859,6 @@ impl<'a> BorrowckCtxt<'a> {
862
859
pub fn cmt_to_str ( & self , cmt : mc:: cmt ) -> ~str {
863
860
self . mc ( ) . cmt_to_str ( cmt)
864
861
}
865
-
866
- pub fn mut_to_str ( & self , mutbl : ast:: Mutability ) -> ~str {
867
- self . mc ( ) . mut_to_str ( mutbl)
868
- }
869
-
870
- pub fn mut_to_keyword ( & self , mutbl : ast:: Mutability ) -> & ' static str {
871
- match mutbl {
872
- ast:: MutImmutable => "" ,
873
- ast:: MutMutable => "mut" ,
874
- }
875
- }
876
862
}
877
863
878
864
impl DataFlowOperator for LoanDataFlowOperator {
0 commit comments