KuRiX #1 WildStorm is talking about a problem where the check is not made. In this case, with types there is no checking!