File tree Expand file tree Collapse file tree 2 files changed +3
-4
lines changed Expand file tree Collapse file tree 2 files changed +3
-4
lines changed Original file line number Diff line number Diff line change @@ -103,7 +103,7 @@ manual_assert = "warn"
103103manual_instant_elapsed = " warn"
104104manual_is_power_of_two = " warn"
105105manual_is_variant_and = " warn"
106- manual_let_else = " allow "
106+ manual_let_else = " warn "
107107manual_ok_or = " warn"
108108manual_string_new = " warn"
109109many_single_char_names = " warn"
Original file line number Diff line number Diff line change @@ -114,9 +114,8 @@ impl WitnessValues {
114114 /// witnesses will be pruned and which won't be pruned. This check skips unassigned witnesses.
115115 pub fn is_consistent ( & self , witness_types : & WitnessTypes ) -> Result < ( ) , Error > {
116116 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 ;
120119 } ;
121120 let assigned_ty = self . 0 [ name] . ty ( ) ;
122121 if assigned_ty != declared_ty {
You can’t perform that action at this time.
0 commit comments