interface I {
function f() external pure {
}
// ----
// TypeError: (18-52): Functions in interfaces cannot have an implementation.