Rachit Nigam

Awesome! Merge whenever!

Oh, this is an interesting question! I _think_ your solution (of basically making `?` a function on some set of parameters) seems like a good place to start but I'd...

@sampsyo @nathanielnrn what should we do with this PR? I assume @nathanielnrn has massively less time to directly work on this so we should make a decision about how we're...

@nathanielnrn are you planning to continue working on this? If so, let's break it up into mergeable pieces and upstream them!

@sampsyo might enjoy thinking about this; especially the `override` stuff

Related to #118

I like this proposal! A minor nit: I would probably rename `type` to `param` or something to indicate that it's a parameter definition. It seems we have implicitly named fields...

Yeah, that's what I was thinking as well. It is starting to mirror the [structure of the Rust compiler](https://rustc-dev-guide.rust-lang.org/overview.html#what-the-compiler-does-to-your-code) where there are passes that run before the core representation (MIR,...

Removing "discussion needed" because next step is to propose an implementation plan.

This is now the nominal goal for AST redesign!