Is your feature request related to a problem?

This code does not yet produce an error:

fun g() -> (r: () -> ())

However, we only want to allow callables as inputs to functions. We also want to forbid attributes with callable types.

Desired solution

Add validation checks.

Possible alternatives (optional)

No response

Screenshots (optional)

No response

Additional Context (optional)

No response