There are compiler built-in traits that we cannot automatically and correctly emit based on impl blocks, as they are not present. The viper impl check functions have to be hand-crafted for those. These include but probably are not limited to:
Sized (already implemented)Send + SyncMetaSizedTupleUnpin- potentially other ones
There are compiler built-in traits that we cannot automatically and correctly emit based on
implblocks, as they are not present. The viper impl check functions have to be hand-crafted for those. These include but probably are not limited to:Sized(already implemented)Send+SyncMetaSizedTupleUnpin