kotlin-fork

azalea/kotlin-fork

Fork 0

Commit Graph

Author	SHA1	Message	Date
Andrey Zinovyev	2b8c22c08a	[FIR] Add CYCLIC_GENERIC_UPPER_BOUND check	2021-04-14 18:11:14 +03:00
Denis Zharkov	b8b48c5f98	Extract common logic into AbstractTypeConstructor Mostly it's about detecting loops in supertypes Test data changes: - Loops are being disconnected in Java classes too - functions.kt: loops disconnection mechanism runs supertypes calculation, so when we start check T it forces F' supertypes calculation, that ends with CYCLIC_GENERIC_UPPER_BOUND reported on F #KT-11287 In Progress	2016-03-10 16:49:00 +03:00
Denis Zharkov	b6f724cf58	Disconnect loops between upper bounds of type parameters #KT-9759 Fixed	2015-10-31 09:33:46 +03:00

Author

SHA1

Message

Date

Andrey Zinovyev

2b8c22c08a

[FIR] Add CYCLIC_GENERIC_UPPER_BOUND check

2021-04-14 18:11:14 +03:00

Denis Zharkov

b8b48c5f98

Extract common logic into AbstractTypeConstructor

Mostly it's about detecting loops in supertypes

Test data changes:
- Loops are being disconnected in Java classes too
- functions.kt: loops disconnection mechanism runs supertypes calculation,
so when we start check T it forces F' supertypes calculation, that ends
with CYCLIC_GENERIC_UPPER_BOUND reported on F

 #KT-11287 In Progress

2016-03-10 16:49:00 +03:00

Denis Zharkov

b6f724cf58

Disconnect loops between upper bounds of type parameters

#KT-9759 Fixed

2015-10-31 09:33:46 +03:00

3 Commits