Function irrefutable_if_let_expr 

fn irrefutable_if_let_expr<'hir>(block: &Block<'hir>) -> Option<&'hir Pat<'hir>>