Add compile-time checks for the "matches" operator

Add compile-time checks for the "matches" operator #2549