1 2 3 4 5 6 7 8 9 10 11
contract C { function f() public pure { assembly { function k() {} k } } } // ---- // TypeError: (86-87): Function k used without being called.