Skip to content

Delete unreachable COND clause#12

Closed
copybara-service[bot] wants to merge 0 commit intomasterfrom
test_899746853
Closed

Delete unreachable COND clause#12
copybara-service[bot] wants to merge 0 commit intomasterfrom
test_899746853

Conversation

@copybara-service
Copy link
Copy Markdown

Delete unreachable COND clause

In the (EQL 'BOOLEAN) method, the first two COND clauses each call a function which asserts its argument to be of type STRING. Therefore if those functions both return normally, VALUE can not possibly be EQ to T.
Except that given argument T in unsafe code, the predicates bypass their type checks, causing EQUALP and MEMBER to return NIL, EQ to return T, and causing divergence vs. safe code.

@copybara-service copybara-service bot force-pushed the test_899746853 branch 2 times, most recently from 732755e to 1fba423 Compare April 16, 2026 21:22
@copybara-service copybara-service bot closed this Apr 16, 2026
@copybara-service copybara-service bot deleted the test_899746853 branch April 16, 2026 21:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants