Skip to content

lint: treat CoroutineClosure pairs as non-structural in foreign_modules#573

Open
SebTardif wants to merge 1 commit into
mainfrom
fix-foreign-modules-coroutine-closure
Open

lint: treat CoroutineClosure pairs as non-structural in foreign_modules#573
SebTardif wants to merge 1 commit into
mainfrom
fix-foreign-modules-coroutine-closure

Conversation

@SebTardif

Copy link
Copy Markdown
Owner

Summary

Add CoroutineClosure / CoroutineClosure to the conservative non-structural pair list alongside Closure/Coroutine/CoroutineWitness.

Closes #568

Test plan

  • Code review only (lint structural compare path)

Match Closure/Coroutine/CoroutineWitness arms: async-closure types are
not structurally comparable for improper_ctypes / foreign module checks.

Signed-off-by: Sebastien Tardif <sebtardif@ncf.ca>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

lint: foreign_modules structural compare missing CoroutineClosure arm

1 participant