Bug when displaying type parameter with 'where'

[CLOVIS-AI]

Describe the bug

Using the following function:

fun <T> foo(): Unit where T : A, T : B

when using the HTML output, Dokka exports:

fun <T : A, B> foo(): Unit

which is incorrect.

Screenshots

Full example signature:

@OptIn(LowLevelApi::class)
fun <Type, Document : Any> Pipeline<Type, Document>.match(
	filter: FilterOperators<Document>.() -> Unit
): Pipeline<Type, Document> where Type : PipelineType, Type : HasMatch = // …

Dokka HTML output:

Dokka configuration
Configuration of dokka used to reproduce the bug

Using dokkatoo with this configuration, though I don't think there's anything there that is relevant.

Installation

• Operating system: Linux
• Build tool: Gradle 8.10.2
• Dokkatoo version: 2.4.0

[CLOVIS-AI]

Maybe a possible output would be to export

fun <Type : PipelineType & HasMatch, Document : Any> …

& isn't allowed for this in Kotlin yet, but it's still pretty clear since it can be used with & Any to make something non-nullable.