Skip to content
Snippets Groups Projects
Commit 8bef471a authored by sheaf's avatar sheaf Committed by Marge Bot
Browse files

Ensure that Any is Boxed in FFI imports/exports 

We should only accept the type `Any` in foreign import/export
declarations when it has type `Type` or `UnliftedType`.
This patch adds a kind check, and a special error message triggered by
occurrences of `Any` in foreign import/export declarations at other
kinds.

Fixes #21305
parent 5de6be0c
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 120 additions and 11 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment