func precondition(_:_:file:line:)(_ condition: @autoclosure () -> Bool, _ message: @autoclosure () -> String = String(), file: StaticString = #file, line: UInt = #line) Checks a necessary condition for making forward progress. Use this function to detect conditions that must prevent the program from proceeding, even in shipping code.