Douglas Campos
|
231bf22932
|
check if we're trying to guess for a local module
|
2018-08-16 19:23:18 +00:00 |
|
Douglas Campos
|
34f6103961
|
properly prefix with crate:: modules that are extern but not on the prelude
|
2018-08-16 19:23:04 +00:00 |
|
Douglas Campos
|
0138d6d02d
|
limit to 2018 edition
|
2018-08-16 19:22:47 +00:00 |
|
Douglas Campos
|
8844584850
|
to be OR and not to AND, that's the question
|
2018-08-16 19:22:34 +00:00 |
|
Douglas Campos
|
2b3e492194
|
avoid looking twice into external prelude crates
|
2018-08-16 19:22:17 +00:00 |
|
Douglas Campos
|
6b9b750f0a
|
make tidy happy
|
2018-08-16 19:22:03 +00:00 |
|
Douglas Campos
|
69bbcacd95
|
we can borrow the closure here
|
2018-08-16 19:21:46 +00:00 |
|
Douglas Campos
|
963c8bd123
|
pass down a Ident
|
2018-08-16 19:21:33 +00:00 |
|
Douglas Campos
|
2fcabf2dd7
|
look into extern prelude to provide sugestions
|
2018-08-16 19:21:16 +00:00 |
|
Douglas Campos
|
bfbbe6d426
|
use name instead of boolean
|
2018-08-16 19:21:04 +00:00 |
|
Douglas Campos
|
d584151bf8
|
fix formatting
|
2018-08-16 19:20:47 +00:00 |
|
Douglas Campos
|
d5bd5db1e3
|
extract helper fn
|
2018-08-16 19:20:37 +00:00 |
|
Douglas Campos
|
232bd4c7ab
|
make the test only deal with edition flags
|
2018-08-16 19:20:27 +00:00 |
|
Douglas Campos
|
28c5f3ea55
|
tidy
|
2018-08-16 19:20:09 +00:00 |
|
Douglas Campos
|
576b041b19
|
prepend crate:: when crate_in_path feature is enabled
|
2018-08-16 19:19:54 +00:00 |
|
Douglas Campos
|
b4aa1f2f90
|
extract helper fn
|
2018-08-16 19:19:36 +00:00 |
|
Douglas Campos
|
af727dfd3f
|
revert back to master state
|
2018-08-16 19:19:19 +00:00 |
|
Douglas Campos
|
7aa5a5b5e8
|
bless output
|
2018-08-16 19:19:09 +00:00 |
|
Douglas Campos
|
5e9b50d4f5
|
fix lint
|
2018-08-16 19:18:55 +00:00 |
|
Douglas Campos
|
e1a3762b91
|
add missing license header
|
2018-08-16 19:18:45 +00:00 |
|
Douglas Campos
|
df55b7c28f
|
resolve suggestions should use create:: when enabled
fixes #51212
|
2018-08-16 19:18:34 +00:00 |
|
varkor
|
0383539ded
|
Fix handling of floating-point ranges
|
2018-08-16 20:10:01 +01:00 |
|
varkor
|
1dbc78112f
|
Handle equivalence classes of length-1 ranges
|
2018-08-16 20:10:01 +01:00 |
|
varkor
|
e9c8361cc6
|
Add equivalence class splitting for range constructors
|
2018-08-16 20:10:01 +01:00 |
|
varkor
|
527cccb7a7
|
Add some more compound exhaustiveness tests
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
9e9e023354
|
More formatting improvements
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
400cb1411e
|
Add a summary of the algorithm to the file
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
99754adbbb
|
Some reformatting
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
bfc8ce36f8
|
Add a test for integer products
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
5959a358e4
|
Move logic from push_wild_constructor to apply_constructor
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
4aa929cf8b
|
Move witnesses inside push_wild_constructor
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
bfc0807b28
|
Add some comments
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
af366b0eb8
|
Refactor condition
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
25ba9118ff
|
Add guarded arms to tests
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
07064de9a7
|
No longer return value_constructors for all_constructors
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
d27c21c016
|
Refactor for less allocation
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
6c21a0322c
|
Refactor after miri api changes
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
732d638483
|
Replace ... with ..= in suggestions
As ... is "(silently) deprecated". Presumably this means we should be giving correct, up-to-date suggestions, though.
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
1aa749469b
|
Introduce signed_bias method
The epitome of simplicity!
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
72cc4bd33b
|
Inline encode and decode methods
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
be12b242ce
|
Fix print_miri_value for signed integers
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
97a032ebb4
|
Simplify bitwise operations
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
c388c11a60
|
Special-case (RangeEnd::Included, Ordering::Equal) in lower_pattern_unadjusted
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
effb3d05a0
|
Improve the comments
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
a9f2c5a7b2
|
Fix sign conversion arithmetic errors
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
f4af3b015f
|
Refactor to remove explicit integer type matching
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
838997236e
|
Add singleton patterns to test
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
a553fa7244
|
Fix integer overflow
|
2018-08-16 20:09:05 +01:00 |
|
varkor
|
7695bd0be9
|
Use bit operators for min_max_ty
|
2018-08-16 20:09:04 +01:00 |
|
varkor
|
c00fd8f58c
|
Refactor interval conditions
|
2018-08-16 20:09:04 +01:00 |
|