bors[bot] 545cdf955e Merge #10091 ... 10091: fix: fix "disjunction in conjunction" panic r=matklad a=jonas-schievink Fixes https://github.com/rust-analyzer/rust-analyzer/issues/10073 The DNF construction code created expressions that were combined in a way that made us "forget" to make their contents valid DNF again. This PR fixes that by flattening nested `any(any())` and `all(all())` predicates. There was also a typo that led to a redundant call to `make_nnf` instead of the correct recursive call to `make_dnf` (but this didn't seem to break/fix anything). This also adds some light property testing, though I'm not really sure this is the best way to do it. Co-authored-by: Jonas Schievink <jonasschievink@gmail.com>		2021-08-31 11:24:30 +00:00
..
base_db	feat: include full path in the cyclic deps error	2021-08-18 15:35:04 +03:00
cfg	Simplify int_in_range	2021-08-31 13:11:17 +02:00
flycheck	switch log crate to tracing	2021-08-30 15:11:42 +08:00
hir	switch log crate to tracing	2021-08-30 15:11:42 +08:00
hir_def	switch log crate to tracing	2021-08-30 15:11:42 +08:00
hir_expand	fail -> failed	2021-08-30 02:47:10 -07:00
hir_ty	switch log crate to tracing	2021-08-30 15:11:42 +08:00
ide	internal: more obviously correct code for cache priming progerss	2021-08-30 19:18:48 +03:00
ide_assists	feat: Use enum's visibility for extracted struct fields	2021-08-30 21:33:19 -04:00
ide_completion	switch log crate to tracing	2021-08-30 15:11:42 +08:00
ide_db	switch log crate to tracing	2021-08-30 15:11:42 +08:00
ide_diagnostics	Merge #10089	2021-08-30 19:35:00 +00:00
ide_ssr	fix: avoid pathological macro expansions	2021-08-09 16:15:02 +03:00
limit	internal: add API to check what are the max limits in practice	2021-07-31 18:26:43 +03:00
mbe	switch log crate to tracing	2021-08-30 15:11:42 +08:00
parser	internal: improve style	2021-08-30 15:55:40 +03:00
paths	internal: improve compilation critical path a bit	2021-08-28 22:43:37 +03:00
proc_macro_api	switch log crate to tracing	2021-08-30 15:11:42 +08:00
proc_macro_srv	internal: improve compilation critical path a bit	2021-08-28 22:43:37 +03:00
proc_macro_test	cargo_metadata 0.14	2021-07-09 11:01:55 -04:00
profile	internal: make non-zero times stand out in profile	2021-07-31 16:22:03 +03:00
project_model	Merge #10005	2021-08-30 08:42:13 +00:00
rust-analyzer	feat: improve CPU usage	2021-08-30 19:48:16 +03:00
sourcegen	minor: make sure that project_root works correctly	2021-07-13 15:02:29 +03:00
stdx	Remove proc macro management thread	2021-07-08 16:43:39 +02:00
syntax	Merge #10085	2021-08-30 12:57:39 +00:00
test_utils	Refactor & improve handling of overloaded binary operators	2021-08-22 17:35:50 +02:00
text_edit	Handle all rename special cases for all record pattern fields	2021-08-16 22:48:38 +02:00
toolchain	minor: drop dummy authors field	2021-07-05 14:19:41 +03:00
tt	remove unused serde feature from smol_str	2021-08-28 22:43:37 +03:00
vfs	internal: document that ascription is preferred to a turbo fish	2021-08-11 14:16:15 +03:00
vfs-notify	switch log crate to tracing	2021-08-30 15:11:42 +08:00