Describe the feature

A function type A is implicitly convertible to a function type B iff their parameter types are identical, their return types are identical, their external/internal property is identical, and the state mutability of A is more restrictive than the state mutability of B.

• pure functions can be converted to view and non-payable functions
• view can be converted to non-payable
• payable can be converted to non-payable

No other function type conversions are possible.

See Solidity's docs.

Additional context

No response