In jwt-ui-main/src/event/key.rs, the comment indicates code will panic when n = 0 or n > 12, while the code wouldn't panic when n = 0.
/// # Panics
///
/// If `n == 0 || n > 12`
pub fn from_f(n: u8) -> Key {
match n {
0 => Key::F0,
1 => Key::F1,
2 => Key::F2,
3 => Key::F3,
4 => Key::F4,
5 => Key::F5,
6 => Key::F6,
7 => Key::F7,
8 => Key::F8,
9 => Key::F9,
10 => Key::F10,
11 => Key::F11,
12 => Key::F12,
_ => panic!("unknown function key: F{}", n),
}
}
In jwt-ui-main/src/event/key.rs, the comment indicates code will panic when n = 0 or n > 12, while the code wouldn't panic when n = 0.