In doing some experimentation I found something th...
# arrow-metat
Ties
04/04/2022, 2:04 PMIn doing some experimentation I found something that is not very intuative:
Copy code
@JvmInline
value class String5till10(val value: String) {
init {
require(value.length >= 5) { "String should be minimal 5 characters" }
require(value.length <= 10) { "String should be maximum 10 characters" }
}
}
// This works
val value = getRandomString()
if (value.length > 6) {
if (value.length < 10) {
StringExamples.String5till10(value)
}
}
//This does not
val value = getRandomString()
if (value.length > 6 && value.length < 10) {
StringExamples.String5till10(value)
}a
Alejandro Serrano Mena
04/04/2022, 2:13 PMthis is definitely a bug
Alejandro Serrano Mena
04/04/2022, 2:13 PMI guess the transformation of conditionals into internal constraints is not working as it should with
&&t
Ties
04/04/2022, 2:14 PMIll make a bug report then 🙂
a
Alejandro Serrano Mena
04/04/2022, 2:14 PMt
Ties
04/04/2022, 2:15 PMI guess i will not make a bug report then 🙂
a
Alejandro Serrano Mena
04/04/2022, 7:45 PMAlejandro Serrano Mena
05/13/2022, 6:26 PMnew stable version 2.0.2 released with that bugfix!
5 Views