improved diagnostic for function defined with def, fun, func, or function instead of fn#100750
Merged
bors merged 1 commit intorust-lang:masterfrom Aug 20, 2022
def, fun, func, or function instead of fn#100750