IR check exports

Useless check. Body must be `AnyType`.