wulkanowy/sdk
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Fix infer type

Browse source
This commit is contained in:
Mikołaj Pich 2020-03-02 21:03:07 +01:00
parent 1f7fab1740
commit b3cdb3f560
No known key found for this signature in database
GPG key ID: F62B26E36D4C4BAA
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
sdk/src/main/kotlin/io/github/wulkanowy/sdk/Sdk.kt
View file

@ -478,11 +478,11 @@ class Sdk {
// if there is more than one lucky number // if there is more than one lucky number
if (numbers.size > 1) { if (numbers.size > 1) {
return@flatMap Maybe.error(VulcanException("More than one mismatched lucky number: $numbers")) return@flatMap Maybe.error<LuckyNumber>(VulcanException("More than one mismatched lucky number: $numbers"))
} }
// else // else
Maybe.empty() Maybe.empty<LuckyNumber>()
}.map { it.number } }.map { it.number }
} }