Pinned places (by withoutboats) — discussion

#plt #rust