Skip to content

prove model for own_ptr

Xavier Denis requested to merge rusthornbelt-box-type into rusthornbelt

@shiatsumat

I swapped around the modalities in ty_shr as I mentioned earlier in mattermost and commented out the remaining parts of the module which deal with subtyping and typing contexts (which we have not ported yet).

Merge request reports