} ?: argsIncludingOuterClasses

}

// Gets nested inner classes starting at `c` and proceeding outwards to the innermost enclosing static class.

// For example, for (java syntax) `class A { static class B { class C { class D { } } } }`,

// `nonStaticParentsWithSelf(D)` = `[D, C, B]`.

fun parentsWithTypeParametersInScope(c: IrClass): List<IrDeclarationParent> {

val parentsList = c.parentsWithSelf.toList()

return if (firstOuterClassIdx == -1) parentsList else parentsList.subList(0, firstOuterClassIdx + 1)

}

// Gets the type parameter symbols that are in scope for class `c` in Kotlin order (i.e. for

// `class NotInScope<T> { static class OutermostInScope<A, B> { class QueryClass<C, D> { } } }`,

// `getTypeParametersInScope(QueryClass)` = `[C, D, A, B]`.

fun getTypeParametersInScope(c: IrClass) =

// Returns a map from `c`'s type variables in scope to type arguments `argsIncludingOuterClasses`.

// Hack for the time being: the substituted types are always nullable, to prevent downstream code

fun makeTypeGenericSubstitutionMap(c: IrClass, argsIncludingOuterClasses: List<IrTypeArgument>) =

getTypeParametersInScope(c).map({ it.symbol }).zip(argsIncludingOuterClasses.map { it.withQuestionMark(true) }).toMap()

fun orderTypeArgsLeftToRight(c: IrClass, argsIncludingOuterClasses: List<IrTypeArgument>?): List<IrTypeArgument>? {

if(argsIncludingOuterClasses.isNullOrEmpty())

return argsIncludingOuterClasses

val ret = ArrayList<IrTypeArgument>()

// Iterate over nested inner classes starting at `c`'s surrounding top-level or static nested class and ending at `c`, from the outermost inwards:

val truncatedParents = parentsWithTypeParametersInScope(c)

for(parent in truncatedParents.reversed()) {

}

return ret

}

return if (f is IrConstructor) f.typeParameters else f.typeParameters.filter { it.parent == f }

}

fun getFunctionLabel(f: IrFunction, classTypeArguments: List<IrTypeArgument>? = null) : String {

return getFunctionLabel(f.parent, getFunctionShortName(f), f.valueParameters, f.returnType, f.extensionReceiverParameter, getFunctionTypeParameters(f), classTypeArguments)

}