[checker] Ban irrefutable patterns in `if let`#1120

Merged

SamChou19815 merged 1 commit intomainfrom pr1120

Oct 29, 2023

+404-94

Commits on Oct 29, 2023

[checker] Ban irrefutable patterns in if let
SamChou19815
committed