Skip to content

Auto merge of #142030 - oli-obk:wfck-less-hir, r=compiler-errors #165160

Auto merge of #142030 - oli-obk:wfck-less-hir, r=compiler-errors

Auto merge of #142030 - oli-obk:wfck-less-hir, r=compiler-errors #165160

bors build finished

succeeded Jul 1, 2025 in 14s