Confusing type name of struct literal is inferred when it's passed to generic function

[Hadron67]

fn Foo(comptime T: type) type {
    return struct {
        pub const Type = T;
    };
}

const Bar = Foo(struct {});

comptime {
    @compileLog(@typeName(Bar));
    @compileLog(@typeName(Bar.Type));
}

output:

| *"Foo(Bar)"
| *"Bar"

While this seems wrong, it's actually the correct behaviour according to the documentation:

If the struct is in the initialization expression of a variable, it gets named after that variable.

So I think the type name inference rule needs some tweaking. In the example above, a more reasonable output could be something like Foo(struct:xx:xx) and struct:xx:xx.