plugins/uast-kotlin/testData/ParametersWithDefaultValues.render.txt

public final class ParametersWithDefaultValuesKt {
    public static final fun foo(@org.jetbrains.annotations.NotNull a: int, @org.jetbrains.annotations.NotNull b: java.lang.String, @org.jetbrains.annotations.NotNull c: int, @org.jetbrains.annotations.NotNull flag: boolean) : void {
    }
}