diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2018-05-01 10:50:05 -0400 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2018-05-05 05:03:56 -0400 |
| commit | 53eb9e582f41d39e8f320c6e5a959605ec9daf5f (patch) | |
| tree | d5c625d5bc9cb5eaca72739f5bb0cda14ad7207e /src/rustllvm/RustWrapper.cpp | |
| parent | 81905a15c1f466fa6f57cf62d5277efcd01fbb9b (diff) | |
| download | rust-53eb9e582f41d39e8f320c6e5a959605ec9daf5f.tar.gz rust-53eb9e582f41d39e8f320c6e5a959605ec9daf5f.zip | |
add `Locations::All` as a concept
In particular, type annotations given by the user must hold at all points in the program. This doesn't affect current analysis but will affect fact generation later.
Diffstat (limited to 'src/rustllvm/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions