Skip to content

avoid linting possible_truncation on bit-reducing operations#7819

Merged
bors merged 1 commit intomasterfrom avoid-linting-impossible-truncationNov 2, 2021