There is, however, a way to "stir" the compiler to do make the check, albeit it is a bit tricky.
Ada, bagaimanapun, suatu cara untuk "membangkitkan" compiler untuk melakukan membuat cek, meskipun itu adalah sedikit rumit.