Signature of nested type with generic type parameter

[nojaf]

When trying to create a signature for:

open System.Collections.Immutable

type ImmutableArrayViaBuilder<'T>(builder: ImmutableArray<'T>.Builder) = class end

the compiler generates:

type ImmutableArrayViaBuilder<'T> =
  new: builder: System.Collections.Immutable.ImmutableArray`1.Builder<'T> ->
         ImmutableArrayViaBuilder<'T>

System.Collections.Immutable.ImmutableArray`1.Builder<'T> is the problematic bit,
it should be System.Collections.Immutable.ImmutableArray<'T>.Builder.

I'm guessing Builder is a nested class?

My initial fix is not the way to go. And I could use a tip on how to tackle this in a nicer way.
I'm all hears 😇.

PS: @T-Gro I think my test will only work on net7.0, any pointers on how to address that?

[vzarytovskii]

PS: @T-Gro I think my test will only work on net7.0, any pointers on how to address that?

#ifdef it, but will probably need to do the _OR_GREATER veresion. Or ignore it for non-net7

Or, even better, you probably can create this nested type and reference it in your test.

Update: oh, it just enumerates all files. In this case, it's probably easier to just manually add one separate test, which also references custom C# code, and compiles (withReferences function in framework).

[nojaf]

A slightly better attempt by storing the generic parameters in ModuleOrType.
I'm most likely still missing some edge cases.

[nojaf]

This is ready.