You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
jextract: hide memory location wrapping constructor, give it proper name
The reason here is that it's too easy to accidentally autocomplete into
new Thing(bla) which can often be incorrect because we probably intended
to call init on the Thing. This popped up with Data a lot, because it is
so easy to wrongly use new Data rather than Data.init which performs the
proper initialization
0 commit comments