Skip to content

Fix match inexhaustiveness warnings - #489

Merged
emlun merged 1 commit into
mainfrom
match-exhaust
Aug 20, 2026
Merged

Fix match inexhaustiveness warnings#489
emlun merged 1 commit into
mainfrom
match-exhaust

Conversation

@emlun

@emlun emlun commented Aug 19, 2026

Copy link
Copy Markdown
Member

Fixes these warnings:

[Warn] webauthn-server-core/src/test/scala/com/yubico/webauthn/TestAuthenticator.scala:911:29: match may not be exhaustive.
It would fail on the following inputs: ML_DSA_44, ML_DSA_65, ML_DSA_87
[Warn] webauthn-server-core/src/test/scala/com/yubico/webauthn/TestAuthenticator.scala:968:37: match may not be exhaustive.
It would fail on the following inputs: ML_DSA_44, ML_DSA_65, ML_DSA_87
[Warn] webauthn-server-core/src/test/scala/com/yubico/webauthn/data/Generators.scala:1032:17: match maynot be exhaustive.
It would fail on the following input: (None, None)

Fixes these warnings:

```
[Warn] webauthn-server-core/src/test/scala/com/yubico/webauthn/TestAuthenticator.scala:911:29: match may not be exhaustive.
It would fail on the following inputs: ML_DSA_44, ML_DSA_65, ML_DSA_87
[Warn] webauthn-server-core/src/test/scala/com/yubico/webauthn/TestAuthenticator.scala:968:37: match may not be exhaustive.
It would fail on the following inputs: ML_DSA_44, ML_DSA_65, ML_DSA_87
[Warn] webauthn-server-core/src/test/scala/com/yubico/webauthn/data/Generators.scala:1032:17: match maynot be exhaustive.
It would fail on the following input: (None, None)
```
@emlun
emlun requested a review from fdennis August 19, 2026 10:58
@github-actions

Copy link
Copy Markdown

Test Results

   282 files     282 suites   6m 4s ⏱️
 3 390 tests  3 378 ✅ 12 💤 0 ❌
14 502 runs  14 440 ✅ 62 💤 0 ❌

Results for commit 6324662.

@emlun
emlun merged commit c5a8add into main Aug 20, 2026
17 of 18 checks passed
@emlun
emlun deleted the match-exhaust branch August 20, 2026 09:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants