1-- { dg-do compile }
2-- { dg-options "-gnat12 -gnato" }
3
4package Cond_Expr1 is
5
6   function Tail (S : String) return String is
7     (if S'Last <= S'First then "" else S (S'First + 1 .. S'Last));
8
9end Cond_Expr1;
10