One example is a function call that doesn't compile, but will if you inline the function body. Compilation is prevented only by the insufficient expressiveness

One example is a function call that doesn't compile, but will if you inline the function body. Compilation is prevented only by the insufficient expressiveness of the function signature.