• sheaf's avatar
    Ensure that Any is Boxed in FFI imports/exports · 8bef471a
    sheaf authored and  Marge Bot's avatar Marge Bot committed
    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
    8bef471a
Code owners : Ben Gamari
ffi.rst 46.2 KB