diff options
| author | Jack Huey <31162821+jackh726@users.noreply.github.com> | 2021-12-12 23:23:55 -0500 |
|---|---|---|
| committer | Jack Huey <31162821+jackh726@users.noreply.github.com> | 2021-12-13 00:48:46 -0500 |
| commit | 8a28c172a128dee00debcf828e2243e94d56fb5f (patch) | |
| tree | e0603a04a343460278779bc2756a71decf124c99 /compiler/rustc_plugin_impl/src | |
| parent | f7fd79ac1d485ab47b62146f6dafed4aad5d9c6d (diff) | |
| download | rust-8a28c172a128dee00debcf828e2243e94d56fb5f.tar.gz rust-8a28c172a128dee00debcf828e2243e94d56fb5f.zip | |
Instead of checking for exact bounds, try to prove them
Diffstat (limited to 'compiler/rustc_plugin_impl/src')
0 files changed, 0 insertions, 0 deletions