| commit | 31771ca820ed90f3032d15f0586953a138f67067 | [log] [tgz] |
|---|---|---|
| author | Luca Versari <veluca@google.com> | Fri Sep 16 07:26:43 2022 -0700 |
| committer | Copybara-Service <copybara-worker@google.com> | Fri Sep 16 07:27:13 2022 -0700 |
| tree | 9d362c44323b1d12896884dfa61c4da59bbe4e10 | |
| parent | e28bdfad648db08c0c49a45f35f4a3047945fdab [diff] |
Rewrite constraint resolution with a different (hopefully correct) algorithm. The previous algorithm considered *all* lifetime constraints (except those involving local or static) to be equality constraints. However, this is incorrect, because even if we cannot represent inequality constraints in the signature, inequality constraints between lifetimes that are not visible in the signature are still meaningful. Moreover, the previous algorithm did not handle the case of unconstrained / outlived-by-static output lifetimes (which can be made 'static). For example, consider: ``` 'local1 >= 'local2 'param1 >= 'local2 ``` The previous algorithm would incorrectly deduce that the function leaked a 'local1 lifetime through 'param1. PiperOrigin-RevId: 474809494
Extremely experimental interop tooling for C++ and Rust.
Please don‘t use, this is an experiment and we don’t yet know where will it take us. There will be breaking changes without warning. Unfortunately, we can't take contributions at this point.
$ apt install clang lld bazel $ git clone git@github.com:google/crubit.git $ cd crubit $ bazel build --linkopt=-fuse-ld=/usr/bin/ld.lld //rs_bindings_from_cc:rs_bindings_from_cc_impl
$ git clone https://github.com/llvm/llvm-project $ cd llvm-project $ CC=clang CXX=clang++ cmake -S llvm -B build -DLLVM_ENABLE_PROJECTS='clang' -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=install $ cmake --build build -j $ # wait... $ cmake --install build $ cd ../crubit $ LLVM_INSTALL_PATH=../llvm-project/install bazel build //rs_bindings_from_cc:rs_bindings_from_cc_impl