Fix case-insensitive header discovery and validation.#9

yuzhy8701 wants to merge 1 commit intofmeum:28803-inclusion-checkfmeum/bazel:28803-inclusion-checkfrom

yuzhy8701:28803-extra-2yuzhy8701/bazel:28803-extra-2Copy head branch name to clipboard