Lloyd

Yeah, I'm not actually sure I understand what is missing in Scala 3, and why #426 is needed (and more importantly why it is _not_ something that would poke a...

The example was built off your first one in this issue. Feel free to poke around similarly for your use case; there may be adjustments but my point is the...

> Hmm, yes, they seem to work if we... remove type params by filling them with wildcards. Which effectively removes any value of type params. 😅 So let's maybe agree...

My point is I think the specific way of modelling could still be accommodated for , though one could of course come up with creative reasons or preferences for why...

> two generic HLists of unknown types Not exactly sure what this means but I'll assume this isn't saying this means "arbitrary-but-compile-time-known" Hlists....otherwise the answer is a flat no :D...

I'm not sure I understand how this could be implemented in a way that could be useful in the LabelledGeneric context. Can you please either elaborate or send a PR...

Thanks @symbx , I built on your hints and what @Tockra had in the original post and it works like a charm A complete working example is at https://github.com/lloydmeta/miniaturs/blob/d244760f5039a15450f5d4566ffe52d19d427771/server/src/test_utils/mod.rs#L12-L113

Took a stab at fixing this in #45753 Based on my reading of the PR that introduced these labels, https://github.com/Azure/azure-sdk-for-java/pull/33209, and the PR adding the semantic conventions for Cosmos https://github.com/open-telemetry/opentelemetry-specification/pull/3097,...

Is this something that https://github.com/com-lihaoyi/cask/pull/74 unblocks?

> [@lloydmeta](https://github.com/lloydmeta) this is a common issue. The correct way to indicate that a class should be used as the `items` of an array is to specify `implementation = Greeting[].class`...