健全な関数の定義を読む。

呼び出し側を実装するプログラマが安全性の事前条件を満たす責任を負っており、コンパイラは助けてくれないことを学生に思い出させてください。

砕けた言葉で説明する。健全性とは、その関数が行儀よく、ルールに従っていることを意味します。安全性の事前条件が文書化されており、呼び出し側がそれらを満たしていれば、その関数は適切に振る舞います（UB は発生しません）。