chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 763d017) | patch
require Copy
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 12 Oct 2020 00:15:49 +0000 (01:15 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 12 Oct 2020 00:15:49 +0000 (01:15 +0100)
commit25abad0675de9f3e85e6abad3706e7c6ee2f1cd4
treeb4197e8dc273d84d5eeed77426dc323cd7bd395atree | snapshot
parent763d0173f9b1ac891a649a6dd5a62310c624c25dcommit | diff
require Copy

Avoids us impl'd for nontrivial types

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
wasm/wasm.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.