[matcher] fix exhaustiveness check for CompileTimeFinite types when there's no default case (closes #3665)