Niko Matsakis
Niko Matsakis
@tmandry I repurposed this as a July update, take a look!
### Mentoring instructions The [`Decls`](https://github.com/rust-lang/a-mir-formality/blob/c0e069180dc28639fa5b2bf351e72e657bf8a5b4/crates/formality-prove/src/decls.rs#L12-L24) struct needs to be extended to include information about each ADT, similar to the existing `trait_decls` field. I imagine something like `adt_decls: Vec`. Like [`TraitDecl`],...
Labeled return/break is purely for explanatory purposes. On Fri, Feb 5, 2016 at 3:56 PM, Jonathan Reem [email protected] wrote: > The accompanying RFC discusses a desugaring based on labeled return/break,...
Whoops. I'd happily pull ascii-canvas into lalrpop org, I doubt it has many independent users. On Sun, May 19, 2024, at 5:27 PM, Daniel Burgener wrote: > > > I...
I have transferred ascii-canvas to the lalrpop org-- you all should have access
I'm marking this as "good first bug". I judge it as a moderate amount of work. You would basically want to edit a few places. I'll give a brief overview...
@wieczyk we have a `match` section for this purpose, so we could put it on that, potentially.
Thanks for the PR. This is a reasonable change, but I'm also not sure how much I want to *commit* to knowing things up-front and not having dynamically generated names....
That makes sense, but then the types are more complicated, which also doesn't seem worth it to me yet.
Hmm, that *is* unfortunate.