Fixed an issue with processing an inherited qualified anchored type in test#anchor081.

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95301 8089f293-4706-0410-a29e-feb5c42a2edf
Corrected test name.

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95302 8089f293-4706-0410-a29e-feb5c42a2edf
Added an example to demonstrate issues with processing qualified anchored types for arguments.

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95303 8089f293-4706-0410-a29e-feb5c42a2edf
Corrected expected test result.

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95304 8089f293-4706-0410-a29e-feb5c42a2edf
Fixed an issue with processing a qualified anchored type in an argument that potentially takes a tuple (test#anchor085).

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95305 8089f293-4706-0410-a29e-feb5c42a2edf
Added an example to demonstrate issues with processing qualified anchored types for of a feature called on a target of an unknown potentially formal type.

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95306 8089f293-4706-0410-a29e-feb5c42a2edf
Added a new test to ensure that compiler detect some system validity errors.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95307 8089f293-4706-0410-a29e-feb5c42a2edf
Extended test with slight change in TEST2 to be non-generic.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95308 8089f293-4706-0410-a29e-feb5c42a2edf
Added a test showing that in 13.11 we failed to report a VUAR(2) error when perform system validity checking.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95309 8089f293-4706-0410-a29e-feb5c42a2edf
Added a test extracted from a real life code where the compiler reports a VJAR but not on a smaller test case.


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