Agda-2.3.2.2: test/fail/Issue586.err

Cannot use NO_TERMINATION_CHECK pragma with safe flag.