feat(rules): unsafe reaches foreign defs, fuel sees U32.to_nat, bend 2.0.34 text - #219

feat(rules): unsafe reaches foreign defs, fuel sees U32.to_nat, bend 2.0.34 text#219

noah-emp merged 1 commit into

mainEmerging-Patterns/bolt:mainfrom

feat/rules-bend-2.0.34Emerging-Patterns/bolt:feat/rules-bend-2.0.34Copy head branch name to clipboard