Renamed test to be more descriptive.

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95311 8089f293-4706-0410-a29e-feb5c42a2edf
Fixed an issue with processing a qualified anchored type computed for a call to a feature on an unknown formal generic type (test#anchor086).

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95312 8089f293-4706-0410-a29e-feb5c42a2edf
Extended test to cover usage of qualified anchored types as arguments in binary operators.

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95313 8089f293-4706-0410-a29e-feb5c42a2edf
Fixed an issue with processing qualified anchored types in arguments of binary operators when the first operand is of a formal generic type (test#anchor083).

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95314 8089f293-4706-0410-a29e-feb5c42a2edf
Removed `formal_instatiation_in' because the feature `recomputed_in' works better for qualified anchored types.

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95315 8089f293-4706-0410-a29e-feb5c42a2edf
Committing all the tests for the new Eiffel Inspector rules.

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95316 8089f293-4706-0410-a29e-feb5c42a2edf
Improved test to show an invalid computation of types by the compiler with qualifed anchor types.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95318 8089f293-4706-0410-a29e-feb5c42a2edf
Fixed typos.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95319 8089f293-4706-0410-a29e-feb5c42a2edf