Auto merge of #113921 - davidtwco:lint-ctypes-issue-113900, r=petrochenkov

lint/ctypes: only try normalize

Fixes #113900.

Now that this lint runs on any external-ABI fn-ptr, normalization won't always succeed, so use `try_normalize_erasing_regions` instead.
This commit is contained in:
bors 2023-07-24 19:40:01 +00:00
commit 4ac3e590fb

Diff content is not available