compiler: Infer types through 'and' BIF

[jhogberg]

Fixes #6552. The corresponding change for 'or' requires a bit of refactoring and will be done in a later PR.

[github-actions]

CT Test Results

       2 files     285 suites   12m 37s ⏱️
   748 tests    746 ✔️ 2 💤 0 ❌
4 629 runs  4 627 ✔️ 2 💤 0 ❌

Results for commit 4e353d5.

♻️ This comment has been updated with latest results.

To speed up review, make sure that you have read Contributing to Erlang/OTP and that all checks pass.

See the TESTING and DEVELOPMENT HowTo guides for details about how to run test locally.

Artifacts

• Complete CT logs (Download Logs)
• HTML Documentation (Download HTML Docs)
• Windows Installer

// Erlang/OTP Github Action Bot

[RobinMorisset]

This PR appears to trigger a bug on the following testcase:

f(X, X, (X = [_ | X])) when true; self() ->
    [0 || _ <- {X}].

it crashes erlc with the following error message:

  Internal consistency check failed - please report this bug.
  Instruction: {call_only,1,{f,7}}
  Error:       {bad_arg_type,{x,0},
                             {t_tuple,1,true,#{}},
                             {t_tuple,1,true,#{1 => {t_cons,any,any}}}}:

This does not reproduce on master without cherry-picking this PR.

Thanks @michalmuskala for teaching the fuzzer about more bifs, including self().

[jhogberg]

Thanks, I've pushed up a fix. :-)