diff options
author | 2017-07-25 22:30:41 -0500 | |
---|---|---|
committer | 2017-07-25 22:30:41 -0500 | |
commit | 6a2ff0aede787d0d6f2ac55e30fb1a248881155d (patch) | |
tree | 2a6167b860c157e53eb311ee3dd46353175d552c /examples/generics.rs | |
parent | 8aa3621034626114716dc7d26443bc39cd717715 (diff) | |
download | rtic-6a2ff0aede787d0d6f2ac55e30fb1a248881155d.tar.gz rtic-6a2ff0aede787d0d6f2ac55e30fb1a248881155d.tar.zst rtic-6a2ff0aede787d0d6f2ac55e30fb1a248881155d.zip |
inline claim
because it's needed for proper optimization / inlining
Diffstat (limited to 'examples/generics.rs')
0 files changed, 0 insertions, 0 deletions