But with null-restricted types, Integer! and int has no difference semantically and representation. They plan to introduce null-restricted types in future.