Unnamed repository; edit this file 'description' to name the repository.
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.
bors 2023-07-25
parent 766b24f · parent b60f4ef · commit 4ac3e59
0 files changed, 0 insertions, 0 deletions