Allow for redundant type checks for pattern matching#1489

Merged

mario-bucev merged 1 commit intoepfl-lara:mainfrom mario-bucev:redundant-patterns

Dec 1, 2023

+263-47

Commits on Dec 1, 2023

Allow for redundant type checks for pattern matching
mario-bucev
committed