08bc333705
Detected by https://clang.llvm.org/extra/clang-tidy/checks/performance/noexcept-move-constructor.html. This ensures constructions like `std::vector<object_ref>` call these operators instead of the copy ones, and do not do extra refcounting. Note that `optional` and `atomic` need something more complex using `noexcept()`, as they are templated. |
||
|---|---|---|
| .. | ||
| abstract.cpp | ||
| abstract.h | ||
| CMakeLists.txt | ||
| declaration.cpp | ||
| declaration.h | ||
| environment.cpp | ||
| environment.h | ||
| equiv_manager.cpp | ||
| equiv_manager.h | ||
| expr.cpp | ||
| expr.h | ||
| expr_cache.cpp | ||
| expr_cache.h | ||
| expr_eq_fn.cpp | ||
| expr_eq_fn.h | ||
| expr_maps.h | ||
| expr_sets.h | ||
| find_fn.h | ||
| for_each_fn.cpp | ||
| for_each_fn.h | ||
| inductive.cpp | ||
| inductive.h | ||
| init_module.cpp | ||
| init_module.h | ||
| instantiate.cpp | ||
| instantiate.h | ||
| instantiate_mvars.cpp | ||
| kernel_exception.h | ||
| level.cpp | ||
| level.h | ||
| local_ctx.cpp | ||
| local_ctx.h | ||
| quot.cpp | ||
| quot.h | ||
| replace_fn.cpp | ||
| replace_fn.h | ||
| trace.cpp | ||
| trace.h | ||
| type_checker.cpp | ||
| type_checker.h | ||