Type import in the transaction kernel results in an unexpected error #2897
Description
Attempt to use the imported type inside the $kernel results in the unused import error. For more details see this comment: 0xMiden/protocol#2644 (comment)
Originally posted by @Fumuran in 0xMiden/protocol#2644 (comment)