Make IMPLIED_BOUNDS_ENTAILMENT
into a hard error from a lint#117984
Merged
bors merged 2 commits intorust-lang:masterfrom Dec 16, 2023
IMPLIED_BOUNDS_ENTAILMENT
into a hard error from a lint#117984