10 Commits

Author	SHA1	Message	Date
Alexey Kudravtsev	c7b78f76a2	IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface	2014-02-18 13:55:52 +04:00
anna	3df31c5805	type distinct prover symmetry	2013-05-06 17:30:07 +02:00
anna	2e7f8bf8bb	class types are not provably distinct when they belong to one hierarchy	2011-07-12 19:12:51 +04:00
anna	4b793a4f9f	unbound wildcard is not provably distinct from any array type (IDEA-63447)	2010-12-22 17:13:51 +03:00
Alexey Kudravtsev	458ae21dcb	test for IDEA-62529	2010-12-08 16:13:24 +03:00
anna	48b40d0c03	type casts: check type parameter first (IDEA-58454)	2010-09-09 13:09:37 +04:00
anna	20ed44ab80	unbounded wildcard cant be proved to be different: test data	2010-08-24 13:26:08 +04:00
anna	9de47db6da	check if wildcard capture is possible; check array types inheritance ( IDEA-57261;IDEA-57262;IDEA-57266;IDEA-57288)	2010-08-19 11:47:00 +04:00
anna	e70fae642f	check type within its bound: wildcards	2010-08-12 21:01:15 +04:00
anna	8039cffacc	JLS 5.5: cast conversion implemented for generics types (inspired by IDEA-57342 )	2010-08-12 12:39:50 +04:00