Make IMPLIED_BOUNDS_ENTAILMENT into a hard error from a lint - #117984
Merged
bors merged 2 commits intoDec 16, 2023
IMPLIED_BOUNDS_ENTAILMENT into a hard error from a lint - #117984