在Proguard混淆时保留Kotlin默认实现的代码。这可以通过在Proguard规则文件中添加特定的-keep规则来实现，如下所示：

1. 首先在build.gradle文件中引入Kotlin的标准库的Proguard文件：

buildscript {
    repositories {
        jcenter()
    }
    dependencies {
        classpath "org.jetbrains.kotlin:kotlin-gradle-plugin:$kotlin_version"
    }
}

apply plugin: 'kotlin-android'

dependencies {
    implementation "org.jetbrains.kotlin:kotlin-stdlib:$kotlin_version"
    ...
}

...

android {
    ...
    buildTypes {
        ...
        release {
            ...
            minifyEnabled true
            proguardFiles getDefaultProguardFile('proguard-android.txt'), 'proguard-rules.pro'
        }
    }
}

2. 在处理Kotlin默认实现的代码时，可以使用以下-keep规则来确保它不被删除或混淆：

-keepclassmembers class * {
    *** DEFAULT_IMPL;
}

此规则指定了在默认接口实现中使用的特定名称，以便在混淆时保留该代码。

3. 另一种方法是使用以下规则来保留默认接口实现的特定接口名称：

-keep class *$DefaultImpls {
    ;
}

这将保留用于默认实现的特定类，以及默认实现方法的指定名称。

通过以上方法，就可以确保Kotlin的默认实现代码不会在Proguard混淆时被删除或混淆。