1 /*
2  * Copyright 2017-2019 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license.
3  */
4 
5 package sample
6 
7 import kotlinx.serialization.Serializable
8 
9 @Serializable
10 data class GeoCoordinate(
11     val latitude: Double = 0.0,
12     val longitude: Double = 0.0
13 ) {
14 
15     init {
<lambda>null16         require(latitude >= 0) { "latitude must be non-negative" }
<lambda>null17         require(longitude >= 0) { "longitude must be non-negative" }
18     }
19 }
20 
21