what does `type substitutor` do in FIR and IR kotlinlang #compiler

what does `type substitutor` do in FIR and IR?

Icyrockton

05/25/2023, 9:13 AM

what does

type substitutor

do in FIR and IR?

dmitriy.novozhilov

05/25/2023, 9:22 AM

It allows to substitute type parameters in types • Original type:

Map<K, List<R>>

• Substitution:

{K -> String, R -> Set<Int>}

• Substituted type:

Map<String, List<Set<Int>>>

2 Views