diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2020-05-18 09:43:36 +0000 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2020-06-22 14:05:00 +0000 |
| commit | bcc0a9c8eba0c4eaaafb7983b1b367a926ca8948 (patch) | |
| tree | 98cd4d5a3ed85a1f4f036fb26788d172b3409e31 /src/rustllvm/CoverageMappingWrapper.cpp | |
| parent | 1a4e2b6f9c75a0e21722c88a0e3b610d6ffc3ae3 (diff) | |
| download | rust-bcc0a9c8eba0c4eaaafb7983b1b367a926ca8948.tar.gz rust-bcc0a9c8eba0c4eaaafb7983b1b367a926ca8948.zip | |
modify leak-check to track only outgoing edges from placeholders
Also, update the affected tests. This seems strictly better but it is
actually more permissive than I initially intended. In particular it
accepts this
```
forall<'a, 'b> {
exists<'intersection> {
'a: 'intersection,
'b: 'intersection,
}
}
```
and I'm not sure I want to accept that. It implies that we have a
`'empty` in the new universe intoduced by the `forall`.
Diffstat (limited to 'src/rustllvm/CoverageMappingWrapper.cpp')
0 files changed, 0 insertions, 0 deletions