carbon-lang
carbon-lang copied to clipboard
Function types with non-type parameter types allowed in patterns
In the C++ implementation, I think this should fail to compile:
fn f(fnty(Int x)) => 0;
fn main -> Int { return 0 }
but it doesn't.
We triage inactive PRs and issues in order to make it easier to find active work. If this issue should remain active or becomes active again, please comment or remove the inactive
label. The long term
label can also be added for issues which are expected to take time.
This issue is labeled inactive
because the last activity was over 90 days ago.
We triage inactive PRs and issues in order to make it easier to find active work. If this issue should remain active or becomes active again, please comment or remove the inactive
label. The long term
label can also be added for issues which are expected to take time.
This issue is labeled inactive
because the last activity was over 90 days ago.