Added one more test for the RIGID_IMPLICIT defects

[EveCharbie]

This change is 

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 77.15%. Comparing base (2705d68) to head (3ab61ce).
⚠️ Report is 14 commits behind head on master.

Additional details and impacted files

@@           Coverage Diff           @@
##           master    #1045   +/-   ##
=======================================
  Coverage   77.15%   77.15%           
=======================================
  Files         193      193           
  Lines       21019    21019           
=======================================
  Hits        16218    16218           
  Misses       4801     4801           

Flag	Coverage Δ
unittests	77.15% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[Ipuch]

Approved.

[pariterre]

Tx guys and gals <3

@pariterre reviewed 12 files and all commit messages, and made 1 comment.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @EveCharbie).