diff options
Diffstat (limited to 'crates/ide_assists/src/handlers')
| -rw-r--r-- | crates/ide_assists/src/handlers/apply_demorgan.rs | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/crates/ide_assists/src/handlers/apply_demorgan.rs b/crates/ide_assists/src/handlers/apply_demorgan.rs index ed4d11455..e478ff2ce 100644 --- a/crates/ide_assists/src/handlers/apply_demorgan.rs +++ b/crates/ide_assists/src/handlers/apply_demorgan.rs | |||
| @@ -7,18 +7,17 @@ use crate::{utils::invert_boolean_expression, AssistContext, AssistId, AssistKin | |||
| 7 | // Apply https://en.wikipedia.org/wiki/De_Morgan%27s_laws[De Morgan's law]. | 7 | // Apply https://en.wikipedia.org/wiki/De_Morgan%27s_laws[De Morgan's law]. |
| 8 | // This transforms expressions of the form `!l || !r` into `!(l && r)`. | 8 | // This transforms expressions of the form `!l || !r` into `!(l && r)`. |
| 9 | // This also works with `&&`. This assist can only be applied with the cursor | 9 | // This also works with `&&`. This assist can only be applied with the cursor |
| 10 | // on either `||` or `&&`, with both operands being a negation of some kind. | 10 | // on either `||` or `&&`. |
| 11 | // This means something of the form `!x` or `x != y`. | ||
| 12 | // | 11 | // |
| 13 | // ``` | 12 | // ``` |
| 14 | // fn main() { | 13 | // fn main() { |
| 15 | // if x != 4 ||$0 !y {} | 14 | // if x != 4 ||$0 y < 3 {} |
| 16 | // } | 15 | // } |
| 17 | // ``` | 16 | // ``` |
| 18 | // -> | 17 | // -> |
| 19 | // ``` | 18 | // ``` |
| 20 | // fn main() { | 19 | // fn main() { |
| 21 | // if !(x == 4 && y) {} | 20 | // if !(x == 4 && !(y < 3)) {} |
| 22 | // } | 21 | // } |
| 23 | // ``` | 22 | // ``` |
| 24 | pub(crate) fn apply_demorgan(acc: &mut Assists, ctx: &AssistContext) -> Option<()> { | 23 | pub(crate) fn apply_demorgan(acc: &mut Assists, ctx: &AssistContext) -> Option<()> { |