// "Change to '1'" "false"
// ACTION: Convert to lazy property
// ACTION: Change type of 'a' to 'Double'
// ACTION: Convert expression to 'Int'
// ACTION: Convert property initializer to getter
// ACTION: Round using roundToInt()
// ERROR: The floating-point literal does not conform to the expected type Int

val a : Int = 1.12<caret>