No run-time check of restricted types