Bump styler from 1.5.1 to 1.6.0

[dependabot]

Bumps styler from 1.5.1 to 1.6.0.

Release notes

Sourced from styler's releases.

v1.6.0: ExUnit assertions edition

That's right, a feature release again so soon!

Improvements

This version of Styler adds many readability improvements around ExUnit assert and refute, specifically when working with 1. negations or 2. some Enum stdlib functions.

Some of these rewrites are not semantically equivalent due to refute passing for both nil and false.

ExUnit assert/refute rewrites

Styler now inverts negated (!, not) assert/refute (eg assert !x => refute x) statements, and further inverts refute with boolean comparison operators (refute x < y => assert x >= y) because non-trivial refutes are harder to reason about [ citation needed ]. Asserting something is not nil is the same as just asserting that something, so that's gone too now.

These changes are best summarized by the following table:

before	styled
assert !x	refute x
assert not x	refute x
assert !!x	assert x
assert x != nil	assert x
assert x == nil	no change
assert is_nil(x)	no change
assert !is_nil(x)	assert x
assert x not in y	refute x in y
refute negated
refute x	no change
refute !x	assert x
refute not x	assert x
refute x != y	assert x == y
refute x !== y	assert x === y
refute x != nil	assert x == nil
refute x not in y	assert x in y
refute comparison
refute x < y	assert x >= y
refute x <= y	assert x > y
refute x > y	assert x <= y
refute x >= y	assert x < y

• assert Enum.member?(y, x) -> assert x in y
• assert Enum.find(x, y) -> assert Enum.any?(x, y) (nb. not semantically equivalent in theory, but equivalent in practice)
• assert Enum.any?(y, & &1 == x) -> assert x in y
• assert Enum.any?(y, fn var -> var == x end) -> assert x in y

Fixes

• alias lifting: fix bug lifting in snippets with a single ast node at the root level (like a credo config file) (#240, h/t @​defndaines)

Changelog

Sourced from styler's changelog.

1.6.0

That's right, a feature release again so soon!

Improvements

This version of Styler adds many readability improvements around ExUnit assert and refute, specifically when working with 1. negations or 2. some Enum stdlib functions.

Some of these rewrites are not semantically equivalent due to refute passing for both nil and false.

ExUnit assert/refute rewrites

Styler now inverts negated (!, not) assert/refute (eg assert !x => refute x) statements, and further inverts refute with boolean comparison operators (refute x < y => assert x >= y) because non-trivial refutes are harder to reason about [ citation needed ]. Asserting something is not nil is the same as just asserting that something, so that's gone too now.

These changes are best summarized by the following table:

before	styled
assert !x	refute x
assert not x	refute x
assert !!x	assert x
assert x != nil	assert x
assert x == nil	no change
assert is_nil(x)	no change
assert !is_nil(x)	assert x
assert x not in y	refute x in y
refute negated
refute x	no change
refute !x	assert x
refute not x	assert x
refute x != y	assert x == y
refute x !== y	assert x === y
refute x != nil	assert x == nil
refute x not in y	assert x in y
refute comparison
refute x < y	assert x >= y
refute x <= y	assert x > y
refute x > y	assert x <= y
refute x >= y	assert x < y

• assert Enum.member?(y, x) -> assert x in y
• assert Enum.find(x, y) -> assert Enum.any?(x, y) (nb. not semantically equivalent in theory, but equivalent in practice)
• assert Enum.any?(y, & &1 == x) -> assert x in y
• assert Enum.any?(y, fn var -> var == x end) -> assert x in y

Fixes

• alias lifting: fix bug lifting in snippets with a single ast node at the root level (like a credo config file) (#240, h/t @​defndaines)

Commits

• 4d6fca6 v1.6.0
• 0ffe339 fix link in docs
• 4d8e05b assert Enum.foo rewrites, and tweaks to the negated rewrites
• d8ea620 rewrite negated assert/refute
• 51d1cc7 fix: alias lifting snippets with non-block root. closes #240
• See full diff in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

[coveralls]

coverage: 91.159%. remained the same
when pulling 6669921 on dependabot/hex/styler-1.6.0
into a43151c on main.