pub fn extract_loop_var(pat: &Pat) -> Option<String>
Extract the loop variable name from a for loop pattern.