Fix #12643: Pipe structured BuilderProblems into DiagnosticCollector - #12647
Closed
gnodet wants to merge 2 commits into
Closed
Fix #12643: Pipe structured BuilderProblems into DiagnosticCollector#12647gnodet wants to merge 2 commits into
gnodet wants to merge 2 commits into