File tree 2 files changed +3
-4
lines changed
2 files changed +3
-4
lines changed Original file line number Diff line number Diff line change @@ -103,7 +103,7 @@ manual_assert = "warn"
103
103
manual_instant_elapsed = " warn"
104
104
manual_is_power_of_two = " warn"
105
105
manual_is_variant_and = " warn"
106
- manual_let_else = " allow "
106
+ manual_let_else = " warn "
107
107
manual_ok_or = " warn"
108
108
manual_string_new = " warn"
109
109
many_single_char_names = " warn"
Original file line number Diff line number Diff line change @@ -114,9 +114,8 @@ impl WitnessValues {
114
114
/// witnesses will be pruned and which won't be pruned. This check skips unassigned witnesses.
115
115
pub fn is_consistent ( & self , witness_types : & WitnessTypes ) -> Result < ( ) , Error > {
116
116
for name in self . 0 . keys ( ) {
117
- let declared_ty = match witness_types. get ( name) {
118
- Some ( ty) => ty,
119
- None => continue ,
117
+ let Some ( declared_ty) = witness_types. get ( name) else {
118
+ continue ;
120
119
} ;
121
120
let assigned_ty = self . 0 [ name] . ty ( ) ;
122
121
if assigned_ty != declared_ty {
You can’t perform that action at this time.
0 commit comments