@@ -27,7 +27,7 @@ mod tests;
27
27
///
28
28
/// Clients are expected to provide implementations of this trait; you
29
29
/// can see some examples in the `test` module.
30
- pub trait UnifyKey : Copy + Clone + Debug + PartialEq {
30
+ pub trait UnifyKey : Copy + Clone + Debug + PartialEq {
31
31
type Value : Clone + PartialEq + Debug ;
32
32
33
33
fn index ( & self ) -> u32 ;
@@ -115,11 +115,7 @@ impl<K: UnifyKey> VarValue<K> {
115
115
}
116
116
117
117
fn if_not_self ( & self , key : K , self_key : K ) -> Option < K > {
118
- if key == self_key {
119
- None
120
- } else {
121
- Some ( key)
122
- }
118
+ if key == self_key { None } else { Some ( key) }
123
119
}
124
120
}
125
121
@@ -236,7 +232,8 @@ impl<K: UnifyKey> UnificationTable<K> {
236
232
new_rank : u32 ,
237
233
old_root : VarValue < K > ,
238
234
new_root : VarValue < K > ,
239
- new_value : K :: Value ) -> K {
235
+ new_value : K :: Value )
236
+ -> K {
240
237
let old_root_key = old_root. key ( ) ;
241
238
let new_root_key = new_root. key ( ) ;
242
239
self . set ( old_root_key, old_root. redirect ( new_root_key) ) ;
@@ -306,7 +303,8 @@ impl<'tcx, K, V> UnificationTable<K>
306
303
let combined = {
307
304
match ( & node_a. value , & node_b. value ) {
308
305
( & None , & None ) => None ,
309
- ( & Some ( ref v) , & None ) | ( & None , & Some ( ref v) ) => Some ( v. clone ( ) ) ,
306
+ ( & Some ( ref v) , & None ) |
307
+ ( & None , & Some ( ref v) ) => Some ( v. clone ( ) ) ,
310
308
( & Some ( ref v1) , & Some ( ref v2) ) => {
311
309
if * v1 != * v2 {
312
310
return Err ( ( v1. clone ( ) , v2. clone ( ) ) ) ;
0 commit comments