docs(check-type-source-resolution): name the paths precondition and the maintainer-only closure at the point of refusal - #16257
Merged
baozhoutao merged 3 commits intoSep 6, 2026