3 Commits

Author	SHA1	Message	Date
Denis Zharkov	8b828f1d9a	Use known type substitutor if it exists	2016-01-26 13:53:45 +03:00
Mikhail Glukhikh	0cc861f00b	Exposed visibility checking, a set of exposed visibility tests, some test fixes ... Effective visibility mechanism introduced. Local is considered as public, java protected as Kotlin protected, java package private as Kotlin private.	2015-10-07 20:15:16 +03:00
Mikhail Glukhikh	754f8af3fc	Type<*> is inferred now if Type<A> and Type<B> common supertype is Type<X> and X is not within parameter upper bound. #KT-7585 Fixed. #EA-68943 Fixed. ... It provides also a fix for KT-7585 (empty type intersection assertion). A set of relevant tests, one fixed test	2015-09-01 15:49:29 +03:00