https://github.com/xlauko commented: Can there be implicit return with value? Maybe we can verify/enforce that `implicit` can be set only without return value? https://github.com/llvm/llvm-project/pull/174832