summaryrefslogtreecommitdiff
path: root/tests/hol4
diff options
context:
space:
mode:
authorNadrieril2024-04-10 16:46:24 +0200
committerNadrieril2024-04-10 16:58:44 +0200
commit143a68b2c43c4302abbbd39c28cac3f9c5f52f4a (patch)
treef7380e47918ad4aaf970cfb58e444ed214dbd81f /tests/hol4
parentdabbffde83e640aabc634d0a8917108decf9a5e7 (diff)
Trust rustc regarding `Copy` bounds
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions