We lose this verification at compile-time.
Did you remove it on purpose?