diff options
| author | Yuki Okushi <huyuumi.dev@gmail.com> | 2019-11-13 22:09:22 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-13 22:09:22 +0900 |
| commit | c75a48a924e195b5417c76f0d84ad4f002ed5fab (patch) | |
| tree | 5e3015c8a1668395ffa8680b5a7c0964e43274a7 /src/libstd/sys/unix/stack_overflow.rs | |
| parent | 961d51dcbb3e62593367752ca354ea05ad93ac03 (diff) | |
| parent | f9f5a88bc4d2e62ea325be8a37e5811a951f234c (diff) | |
| download | rust-c75a48a924e195b5417c76f0d84ad4f002ed5fab.tar.gz rust-c75a48a924e195b5417c76f0d84ad4f002ed5fab.zip | |
Rollup merge of #66297 - vakaras:edit-queries, r=oli-obk
Add a callback that allows compiler consumers to override queries. This pull request adds an additional callback that allows compiler consumers such as Prusti and MIRAI to override queries. My hope is that in this way it will be possible to get access to the internal compiler information (e.g. borrow checker) without major changes to the compiler. This pull request is work in progress because I am still testing if I can get the information which I need. cc @nikomatsakis r? @oli-obk
Diffstat (limited to 'src/libstd/sys/unix/stack_overflow.rs')
0 files changed, 0 insertions, 0 deletions