Removed assert that is now informed by type system