add {.migrated(ident, msg):... .} to issue callsite migration warnings for changed APIs#18513
Closed
timotheecour wants to merge 6 commits intonim-lang:develfrom timotheecour:pr_migration_lint
+59-12
Commits
Commits on Jul 17, 2021
- committed
- committed
- committed
- committed
- committed
- committed