docs(trait_checking): import the right function#14891
Merged
samueltardieu merged 2 commits intorust-lang:masterfrom May 30, 2025
Merged
docs(trait_checking): import the right function#14891samueltardieu merged 2 commits intorust-lang:masterfrom
samueltardieu merged 2 commits intorust-lang:masterfrom