// RUN: %target-typecheck-verify-swift -verify-ignore-unrelated func unavailableModulo(description: String = "") { _ = 42.0 % 2 // expected-error {{For floating point numbers use truncatingRemainder}} var f: Float = 42.0 f %= 2 // expected-error {{For floating point numbers use formTruncatingRemainder}} }