Tests with single match arm about xls HOT 2 CLOSED

fn [N: u8] p(_: bits[N]) -> u8 {                                                                                                                                                                                                                                                                                              
  N                                                                                                                                                                                                                                                                                                                           
}                                                                                                                                                                                                                                                                                                                             
                                                                                                                                                                                                                                                                                                                              
fn f() -> u8 {                                                                                                                                                                                                                                                                                                                
  match false {                                                                                                                                                                                                                                                                                                               
    _ => p(u8:0)                                                                                                                                                                                                                                                                                                              
  }                                                                                                                                                                                                                                                                                                                           
}                                                                                                                                                                                                                                                                                                                             
                                                                                                                                                                                                                                                                                                                              
test t {                                                                                                                                                                                                                                                                                                                      
  assert_eq(u8:8, f())                                                                                                                                                                                                                                                                                                        
}