[JVM_IR] Propagate Type Parameters to DefaultImpls

This ensures correct generation of generic signatures in the resulting
byte code, but it _is_ a work in progress: the actual type *arguments*
passed for these parameters during compilation are dummy `Any?` types.

Sites that need more work are indicated with TODO's.

- copy type parameters of interfaces to methods moved to DefaultImpls
- implement type parameter renaming scheme from JVM, with proper
  renaming and substitution.
- adjust call sites in bridges in classes->DefaultImpls
- adjust call sites in bridges from DefaultImpls->Interface
- adjust call sites in bridges from DefaultImpls->DefaultImpls
- adjust super calls ->DefaultImpls
- adjust calls in code of Interfaces->DefaultImpls

This commit is contained in:

Kristoffer Andersen

2020-01-08 18:02:45 +01:00

committed by

Georgy Bronnikov

parent 3606a4104b

commit 4dd794c2d2

12 changed files with 184 additions and 36 deletions

									
										compiler/testData/codegen/box/reflection/genericSignature/defaultImplsGenericSignature.kt
									
Vendored

		-1
	
												View File
												
				@@ -1,5 +1,4 @@

				// IGNORE_BACKEND_FIR: JVM_IR

				// IGNORE_BACKEND: JVM_IR

				// TARGET_BACKEND: JVM

				// FILE: J.java