Would we need func (Record) AllAttrs() iter.Seq2[[]string, Attr] to match the []string group we're in? There's also a func(Record) AllGroups() iter.Seq[[]string, iter.Seq[Attr]] possible here, hmm...

@AndrewHarrisSPU I don't think either of those are necessary. You may be confusing Record.Attrs with the HandleOptions.ReplaceAttr function, which does take a []string with the group names.

Record.Attrs would be used by a handler in its Handle method. If it has been paying attention to WithGroup calls, the handler knows the open groups.

Record.Attrs would be used by a handler in its Handle method. If it has been paying attention to WithGroup calls, the handler knows the open groups.

It knows the open groups, but it may encounter more grouping or nesting in the record attributes? I guess Record.Attrs doesn't expand groups. I may be confused about the intended behavior. Also I was unclear before whether it would be tractable to discriminate between a and b's id in log.Info(".", slog.Group("a", slog.Int("id", 0)), slog.Group("b", slog.Int("id", 0))) - it is, it's not immediate but it can be done, I'm not concerned.

Record.Attrs just gives you the flat, top-level sequence of Attrs. You have to notice the groups and visit their elements yourself. See the Handle and appendAttr methods in the handler-writing guide.

To answer your question, yes, the ids can be distinguished.

How about AttrsIter instead of AllAttrs? AllAttrs seems to imply that Attrs doesn't give you all the attrs.